diff options
Diffstat (limited to 'src/theory/strings/theory_strings.cpp')
-rw-r--r-- | src/theory/strings/theory_strings.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/strings/theory_strings.cpp b/src/theory/strings/theory_strings.cpp index 25d0e7336..9a793e14f 100644 --- a/src/theory/strings/theory_strings.cpp +++ b/src/theory/strings/theory_strings.cpp @@ -55,14 +55,14 @@ TheoryStrings::TheoryStrings(Env& env, OutputChannel& out, Valuation valuation) d_notify(*this), d_statistics(), d_state(env, d_valuation), - d_eagerSolver(d_state), d_termReg(env, d_state, d_statistics, d_pnm), - d_extTheoryCb(), - d_im(env, *this, d_state, d_termReg, d_extTheory, d_statistics), - d_extTheory(env, d_extTheoryCb, d_im), d_rewriter(env.getRewriter(), &d_statistics.d_rewrites, d_termReg.getAlphabetCardinality()), + d_eagerSolver(env, d_state, d_termReg, d_rewriter.getArithEntail()), + d_extTheoryCb(), + d_im(env, *this, d_state, d_termReg, d_extTheory, d_statistics), + d_extTheory(env, d_extTheoryCb, d_im), // the checker depends on the cardinality of the alphabet d_checker(d_termReg.getAlphabetCardinality()), d_bsolver(env, d_state, d_im), |