diff options
| author | Enrico Steffinlongo <enrico.steffinlongo@gmail.com> | 2018-10-13 19:42:10 +0000 |
|---|---|---|
| committer | Enrico Steffinlongo <enrico.steffinlongo@gmail.com> | 2018-10-13 19:42:10 +0000 |
| commit | a72a15a5c7ecddaeb57d737227c1dd26aabddd67 (patch) | |
| tree | a8fe8cdb0ea14412a6d2bf3f9de6a74fb3beaa5e /llvm/lib/ExecutionEngine/Orc | |
| parent | 2fe010473dec3d67579b20fb4bd8d27bc063c3b4 (diff) | |
| download | bcm5719-llvm-a72a15a5c7ecddaeb57d737227c1dd26aabddd67.tar.gz bcm5719-llvm-a72a15a5c7ecddaeb57d737227c1dd26aabddd67.zip | |
[analyzer] Small SMT API improvement
Summary: Removed const qualifier from reset method of SMTSolver and Z3Solver objects.
Reviewers: mikhail.ramalho, george.karpenkov, NoQ, ddcc
Reviewed By: NoQ
Subscribers: xazax.hun, szepet, a.sidorin, Szelethus
Differential Revision: https://reviews.llvm.org/D52031
llvm-svn: 344463
Diffstat (limited to 'llvm/lib/ExecutionEngine/Orc')
0 files changed, 0 insertions, 0 deletions
