diff options
Diffstat (limited to 'lib/Solver/QueryLoggingSolver.h')
| -rw-r--r-- | lib/Solver/QueryLoggingSolver.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Solver/QueryLoggingSolver.h b/lib/Solver/QueryLoggingSolver.h index 3068f2ab..bb266c67 100644 --- a/lib/Solver/QueryLoggingSolver.h +++ b/lib/Solver/QueryLoggingSolver.h @@ -55,6 +55,7 @@ protected: virtual void printQuery(const Query &query, const Query *falseQuery = 0, const std::vector<const Array *> *objects = 0) = 0; + void flushBufferConditionally(bool writeToFile); public: QueryLoggingSolver(Solver *_solver, std::string path, |