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 4a6d345e9..f10144255 100644 --- a/src/theory/bags/theory_bags.cpp +++ b/src/theory/bags/theory_bags.cpp @@ -36,7 +36,7 @@ TheoryBags::TheoryBags(Env& env, OutputChannel& out, Valuation valuation) d_statistics(), d_rewriter(&d_statistics.d_rewrites), d_termReg(env, d_state, d_im), - d_solver(d_state, d_im, d_termReg) + d_solver(env, d_state, d_im, d_termReg) { // use the official theory state and inference manager objects d_theoryState = &d_state; |