diff options
Diffstat (limited to 'src/theory/quantifiers/sygus_inst.cpp')
-rw-r--r-- | src/theory/quantifiers/sygus_inst.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/theory/quantifiers/sygus_inst.cpp b/src/theory/quantifiers/sygus_inst.cpp index 21852f25a..4da273cd9 100644 --- a/src/theory/quantifiers/sygus_inst.cpp +++ b/src/theory/quantifiers/sygus_inst.cpp @@ -182,14 +182,15 @@ void addSpecialValues(const TypeNode& tn, } // namespace -SygusInst::SygusInst(QuantifiersState& qs, +SygusInst::SygusInst(Env& env, + QuantifiersState& qs, QuantifiersInferenceManager& qim, QuantifiersRegistry& qr, TermRegistry& tr) - : QuantifiersModule(qs, qim, qr, tr), - d_ce_lemma_added(qs.getUserContext()), - d_global_terms(qs.getUserContext()), - d_notified_assertions(qs.getUserContext()) + : QuantifiersModule(env, qs, qim, qr, tr), + d_ce_lemma_added(userContext()), + d_global_terms(userContext()), + d_notified_assertions(userContext()) { } |