diff options
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
-rw-r--r-- | lib/Solver/QueryLoggingSolver.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/Solver/QueryLoggingSolver.h b/lib/Solver/QueryLoggingSolver.h index 76bba429..8149342f 100644 --- a/lib/Solver/QueryLoggingSolver.h +++ b/lib/Solver/QueryLoggingSolver.h @@ -58,8 +58,9 @@ protected: void flushBufferConditionally(bool writeToFile); public: - QueryLoggingSolver(Solver *_solver, std::string path, const std::string &commentSign, - time::Span queryTimeToLog, bool logTimedOut); + QueryLoggingSolver(std::unique_ptr<Solver> solver, std::string path, + const std::string &commentSign, time::Span queryTimeToLog, + bool logTimedOut); /// implementation of the SolverImpl interface bool computeTruth(const Query &query, bool &isValid); |