diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-05-23 21:58:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-05-23 21:58:12 +0000 |
| commit | 3f7f9df5f0c419b7f7dd39e32852161f406a441f (patch) | |
| tree | 67ae6454e4496f6370cf8236500946e2c7e926b0 /src/smt | |
| parent | 91656937b2188f05cdd9b42955c04e6157349285 (diff) | |
Merge from arrays2 branch.
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index e99c20254..b8f8a522f 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -253,6 +253,7 @@ void SmtEngine::setLogic(const std::string& s) throw(ModalException) { throw ModalException("logic already set"); } d_logic = s; + d_theoryEngine->d_logic = s; } void SmtEngine::setInfo(const std::string& key, const SExpr& value) |