Fixing warning message.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 911728cb13c214221eeab98642cd1d46a160d3d5..b9ef8f7c4ea6728d78e44ac3487e96826cfd454d 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1997,7 +1997,7 @@ void SmtEngine::setDefaults() {
   }
 
   if(options::incrementalSolving() && options::proof()) {
-    Warning() << "SmtEngine: turning off incremental solving mode (not yet supported with --proof or --produce-unsat-cores, try --tear-down-incremental instead)" << endl;
+    Warning() << "SmtEngine: turning off incremental solving mode (not yet supported with --proof, try --tear-down-incremental instead)" << endl;
     setOption("incremental", SExpr("false"));
   }
 }