Merge branch 'master' into stdAttrsstdAttrs

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/quantifiers/theory_quantifiers.cpp b/src/theory/quantifiers/theory_quantifiers.cpp
index dff0ac979..76696c32f 100644
--- a/src/theory/quantifiers/theory_quantifiers.cpp
+++ b/src/theory/quantifiers/theory_quantifiers.cpp
@@ -35,14 +35,14 @@ TheoryQuantifiers::TheoryQuantifiers(Env& env,
                                      Valuation valuation)
     : Theory(THEORY_QUANTIFIERS, env, out, valuation),
       d_qstate(env, valuation, logicInfo()),
-      d_qreg(),
-      d_treg(d_qstate, d_qreg),
+      d_qreg(env),
+      d_treg(env, d_qstate, d_qreg),
       d_qim(env, *this, d_qstate, d_qreg, d_treg, d_pnm),
       d_qengine(nullptr)
 {
   // construct the quantifiers engine
   d_qengine.reset(
-      new QuantifiersEngine(d_qstate, d_qreg, d_treg, d_qim, d_pnm));
+      new QuantifiersEngine(env, d_qstate, d_qreg, d_treg, d_qim, d_pnm));
 
   // indicate we are using the quantifiers theory state object
   d_theoryState = &d_qstate;