From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 2 Apr 2012 20:02:14 +0000 (+0000)
Subject: fix for cvc4_logic dump
X-Git-Tag: cvc5-1.0.0~8247
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f9d3552033d8214c833b58ed54d99c836de4ce37;p=cvc5.git

fix for cvc4_logic dump
---

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;
       }
     }