Update smt_engine.cpp

Code changed but comment didn't, might as well get rid of it.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 105ab9749ba140881e0a43d9c846fd9578c9104d..20851ac9451b5ae931d945bb2d3775e9af5b91a9 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -1111,10 +1111,8 @@ void SmtEngine::setDefaults() {
   if (options::arithRewriteEq()) {
     d_earlyTheoryPP = false;
   }
-  // Turn on justification heuristic of the decision engine for QF_BV and QF_AUFBV
-  // and also use it in stop-only mode for QF_AUFLIA, QF_LRA and Quantifiers
-  // BUT use neither in ALL_SUPPORTED mode (since it doesn't yet work well
-  // with incrementality)
+
+  // Set decision mode based on logic (if not set by user)
   if(!options::decisionMode.wasSetByUser()) {
     decision::DecisionMode decMode =
       // ALL_SUPPORTED