diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-24 13:43:15 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-04-24 13:43:15 +0100 |
| commit | 0a420e03da2c610be51d217c60c65381cb482b95 (patch) | |
| tree | 64d37599ec4860e2075ed45f4d856978c0ef39af /lib/SMT | |
| parent | ac8250b79e1249df7a1e852d01cd5f41f5c962ce (diff) | |
| download | klee-0a420e03da2c610be51d217c60c65381cb482b95.tar.gz | |
Remove unused pointer to STPSolver in STPSolverImpl to silence clang
warning.
Diffstat (limited to 'lib/SMT')
0 files changed, 0 insertions, 0 deletions