From f9d3552033d8214c833b58ed54d99c836de4ce37 Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 2 Apr 2012 20:02:14 +0000
Subject: [PATCH] fix for cvc4_logic dump

---
 src/smt/smt_engine.cpp | 4 ++--
 1 file 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;
       }
     }
-- 
2.30.2