diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 240533fba..990ffd04d 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -734,8 +734,10 @@ void SmtEngine::finishInit() * are unregistered by the obsolete PropEngine object before registered * again by the new PropEngine object */ d_propEngine.reset(nullptr); - d_propEngine.reset( - new PropEngine(getTheoryEngine(), getContext(), getUserContext())); + d_propEngine.reset(new PropEngine(getTheoryEngine(), + getContext(), + getUserContext(), + d_private->getResourceManager())); Trace("smt-debug") << "Setting up theory engine..." << std::endl; d_theoryEngine->setPropEngine(getPropEngine()); @@ -3418,8 +3420,10 @@ void SmtEngine::resetAssertions() * statistics are unregistered by the obsolete PropEngine object before * registered again by the new PropEngine object */ d_propEngine.reset(nullptr); - d_propEngine.reset( - new PropEngine(getTheoryEngine(), getContext(), getUserContext())); + d_propEngine.reset(new PropEngine(getTheoryEngine(), + getContext(), + getUserContext(), + d_private->getResourceManager())); d_theoryEngine->setPropEngine(getPropEngine()); } |