diff options
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index d95b67aaf..b697b004c 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -75,7 +75,6 @@ Theory::Theory(TheoryId id, d_factsHead(satContext, 0), d_sharedTermsIndex(satContext, 0), d_careGraph(nullptr), - d_decManager(nullptr), d_instanceName(name), d_checkTime(getStatsPrefix(id) + name + "::checkTime"), d_computeCareGraphTime(getStatsPrefix(id) + name @@ -127,9 +126,11 @@ void Theory::setQuantifiersEngine(QuantifiersEngine* qe) void Theory::setDecisionManager(DecisionManager* dm) { - Assert(d_decManager == nullptr); Assert(dm != nullptr); - d_decManager = dm; + if (d_inferManager != nullptr) + { + d_inferManager->setDecisionManager(dm); + } } void Theory::finishInitStandalone() |