diff options
Diffstat (limited to 'src/theory/quantifiers/quant_module.cpp')
-rw-r--r-- | src/theory/quantifiers/quant_module.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_module.cpp b/src/theory/quantifiers/quant_module.cpp index d5488f0c9..8fb37c548 100644 --- a/src/theory/quantifiers/quant_module.cpp +++ b/src/theory/quantifiers/quant_module.cpp @@ -21,11 +21,12 @@ namespace cvc5 { namespace theory { QuantifiersModule::QuantifiersModule( + Env& env, quantifiers::QuantifiersState& qs, quantifiers::QuantifiersInferenceManager& qim, quantifiers::QuantifiersRegistry& qr, quantifiers::TermRegistry& tr) - : EnvObj(qs.getEnv()), d_qstate(qs), d_qim(qim), d_qreg(qr), d_treg(tr) + : EnvObj(env), d_qstate(qs), d_qim(qim), d_qreg(qr), d_treg(tr) { } |