fix for cvc4_logic dump

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 453817ec1cc874097f3702d3da875de017eca219..57a8c2f230bb64a7c2a68cb46db3a81b14003dec 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -395,8 +395,8 @@ void SmtEngine::setInfo(const std::string& key, const SExpr& value)
         if(! value.isAtom()) {
           throw BadOptionException("argument to (set-info :cvc4-logic ..) must be a string");
         }
-        d_logic = "";
-        setLogic(value.getValue());
+        NodeManagerScope nms(d_nodeManager);
+        setLogicInternal(value.getValue());
         return;
       }
     }