diff options
Diffstat (limited to 'src/theory/quantifiers/term_database.cpp')
| -rw-r--r-- | src/theory/quantifiers/term_database.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/theory/quantifiers/term_database.cpp b/src/theory/quantifiers/term_database.cpp index 0ed488891..047a3cd41 100644 --- a/src/theory/quantifiers/term_database.cpp +++ b/src/theory/quantifiers/term_database.cpp @@ -33,10 +33,9 @@ namespace CVC4 { namespace theory { namespace quantifiers { -TermDb::TermDb(context::Context* c, context::UserContext* u, - QuantifiersEngine* qe) - : d_quantEngine(qe), - d_inactive_map(c) { +TermDb::TermDb(QuantifiersState& qs, QuantifiersEngine* qe) + : d_quantEngine(qe), d_inactive_map(qs.getSatContext()) +{ d_consistent_ee = true; d_true = NodeManager::currentNM()->mkConst(true); d_false = NodeManager::currentNM()->mkConst(false); |