diff options
-rw-r--r-- | src/smt/smt_engine.cpp | 4 |
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; } } |