diff options
Diffstat (limited to 'src/theory/smt_engine_subsolver.cpp')
-rw-r--r-- | src/theory/smt_engine_subsolver.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/smt_engine_subsolver.cpp b/src/theory/smt_engine_subsolver.cpp index cedb838af..ed10e85ae 100644 --- a/src/theory/smt_engine_subsolver.cpp +++ b/src/theory/smt_engine_subsolver.cpp @@ -51,11 +51,11 @@ void initializeSubsolver(std::unique_ptr<SmtEngine>& smte, smte.reset(new SmtEngine(nm->toExprManager(), &smtCurr->getOptions())); smte->setIsInternalSubsolver(); smte->setLogic(smtCurr->getLogicInfo()); + // set the options if (needsTimeout) { smte->setTimeLimit(timeout); } - smte->setLogic(smt::currentSmtEngine()->getLogicInfo()); } Result checkWithSubsolver(std::unique_ptr<SmtEngine>& smte, |