diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-04-02 20:02:14 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-04-02 20:02:14 +0000 |
| commit | f9d3552033d8214c833b58ed54d99c836de4ce37 (patch) | |
| tree | 4b064f4f31032b64df077917e7c83e38c057d1b3 /src/smt/smt_engine.cpp | |
| parent | ae1dfdcd7c79f7fd253bf91f39a09e4a97be4e86 (diff) | |
fix for cvc4_logic dump
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -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; } } |