diff options
Diffstat (limited to 'include/klee/Solver.h')
| -rw-r--r-- | include/klee/Solver.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h index 09cf4b47..b87b6dc3 100644 --- a/include/klee/Solver.h +++ b/include/klee/Solver.h @@ -64,7 +64,7 @@ namespace klee { SolverImpl *impl; public: - Solver(SolverImpl *_impl) : impl(_impl) {}; + Solver(SolverImpl *_impl) : impl(_impl) {} virtual ~Solver(); /// evaluate - Determine the full validity of an expression in particular |