From: Clark Barrett <barrett@cs.stanford.edu>
Date: Thu, 23 Mar 2017 22:15:56 +0000 (-0700)
Subject: Fixing warning message.
X-Git-Tag: cvc5-1.0.0~5874
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2c1e5b35ba688c0df297b0510058454c54bab54d;p=cvc5.git

Fixing warning message.
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 911728cb1..b9ef8f7c4 100644
--- 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"));
   }
 }