diff options
Diffstat (limited to 'src/theory/theory.cpp')
| -rw-r--r-- | src/theory/theory.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/theory/theory.cpp b/src/theory/theory.cpp index 5bea454e8..fef3fdc67 100644 --- a/src/theory/theory.cpp +++ b/src/theory/theory.cpp @@ -68,8 +68,7 @@ Theory::Theory(TheoryId id, d_facts(satContext), d_factsHead(satContext, 0), d_sharedTermsIndex(satContext, 0), - d_careGraph(NULL), - d_quantEngine(NULL), + d_careGraph(nullptr), d_decManager(nullptr), d_instanceName(name), d_checkTime(getStatsPrefix(id) + name + "::checkTime"), @@ -82,6 +81,7 @@ Theory::Theory(TheoryId id, d_allocEqualityEngine(nullptr), d_theoryState(nullptr), d_inferManager(nullptr), + d_quantEngine(nullptr), d_pnm(pnm) { smtStatisticsRegistry()->registerStat(&d_checkTime); @@ -115,7 +115,6 @@ void Theory::setEqualityEngine(eq::EqualityEngine* ee) void Theory::setQuantifiersEngine(QuantifiersEngine* qe) { - Assert(d_quantEngine == nullptr); // quantifiers engine may be null if not in quantified logic d_quantEngine = qe; } |