diff options
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.cpp')
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp index 4c3d9b30..c057751c 100644 --- a/lib/Solver/QueryLoggingSolver.cpp +++ b/lib/Solver/QueryLoggingSolver.cpp @@ -53,10 +53,6 @@ QueryLoggingSolver::QueryLoggingSolver(Solver *_solver, std::string path, assert(0 != solver); } -QueryLoggingSolver::~QueryLoggingSolver() { - delete solver; -} - void QueryLoggingSolver::flushBufferConditionally(bool writeToFile) { logBuffer.flush(); if (writeToFile) { |