1 files changed, 2 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 453817ec1..57a8c2f23 100644
--- 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;
       }
     }