1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp
index 4df691f2..22b1545f 100644
--- a/lib/Solver/Solver.cpp
+++ b/lib/Solver/Solver.cpp
@@ -935,7 +935,10 @@ MetaSMTSolverImpl<SolverContext>::~MetaSMTSolverImpl() {
 
 template<typename SolverContext>
 char *MetaSMTSolverImpl<SolverContext>::getConstraintLog(const Query&) {
-  // ToDo
+  const char* msg = "Not supported";
+  char *buf = new char[strlen(msg) + 1];
+  strcpy(buf, msg);
+  return(buf);
 }
 
 template<typename SolverContext>