diff options
Diffstat (limited to 'lib/Solver/STPSolver.h')
-rw-r--r-- | lib/Solver/STPSolver.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Solver/STPSolver.h b/lib/Solver/STPSolver.h index 494a30db..fa13d457 100644 --- a/lib/Solver/STPSolver.h +++ b/lib/Solver/STPSolver.h @@ -27,7 +27,7 @@ public: /// getConstraintLog - Return the constraint log for the given state in CVC /// format. - virtual char *getConstraintLog(const Query &); + std::string getConstraintLog(const Query &) override; /// setCoreSolverTimeout - Set constraint solver timeout delay to the given /// value; 0 |