diff options
Diffstat (limited to 'lib/Core/TimingSolver.h')
-rw-r--r-- | lib/Core/TimingSolver.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/Core/TimingSolver.h b/lib/Core/TimingSolver.h index 0b88be3c..4042c724 100644 --- a/lib/Core/TimingSolver.h +++ b/lib/Core/TimingSolver.h @@ -16,6 +16,7 @@ #include "klee/System/Time.h" #include <memory> +#include <string> #include <utility> #include <vector> @@ -41,7 +42,7 @@ public: void setTimeout(time::Span t) { solver->setCoreSolverTimeout(t); } - char *getConstraintLog(const Query &query) { + std::string getConstraintLog(const Query &query) { return solver->getConstraintLog(query); } |