diff options
Diffstat (limited to 'src/theory/combination_engine.cpp')
-rw-r--r-- | src/theory/combination_engine.cpp | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/theory/combination_engine.cpp b/src/theory/combination_engine.cpp index 3a2460959..4b04188f1 100644 --- a/src/theory/combination_engine.cpp +++ b/src/theory/combination_engine.cpp @@ -42,12 +42,6 @@ CombinationEngine::CombinationEngine(TheoryEngine& te, d_cmbsPg(pnm ? new EagerProofGenerator(pnm, te.getUserContext()) : nullptr) { -} - -CombinationEngine::~CombinationEngine() {} - -void CombinationEngine::finishInit() -{ // create the equality engine, model manager, and shared solver if (options::eeMode() == options::EqEngineMode::DISTRIBUTED) { @@ -64,7 +58,12 @@ void CombinationEngine::finishInit() Unhandled() << "CombinationEngine::finishInit: equality engine mode " << options::eeMode() << " not supported"; } +} + +CombinationEngine::~CombinationEngine() {} +void CombinationEngine::finishInit() +{ Assert(d_eemanager != nullptr); // initialize equality engines in all theories, including quantifiers engine |