diff options
Diffstat (limited to 'src/theory/bags/theory_bags.cpp')
-rw-r--r-- | src/theory/bags/theory_bags.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/bags/theory_bags.cpp b/src/theory/bags/theory_bags.cpp index c421b9ec2..004766d83 100644 --- a/src/theory/bags/theory_bags.cpp +++ b/src/theory/bags/theory_bags.cpp @@ -35,7 +35,7 @@ TheoryBags::TheoryBags(Env& env, OutputChannel& out, Valuation valuation) d_notify(*this, d_im), d_statistics(), d_rewriter(&d_statistics.d_rewrites), - d_termReg(d_state, d_im), + d_termReg(env, d_state, d_im), d_solver(d_state, d_im, d_termReg) { // use the official theory state and inference manager objects |