diff options
Diffstat (limited to 'src/smt/smt_solver.cpp')
| -rw-r--r-- | src/smt/smt_solver.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index e53401f79..3e8d0f147 100644 --- a/src/smt/smt_solver.cpp +++ b/src/smt/smt_solver.cpp @@ -50,7 +50,6 @@ void SmtSolver::finishInit(const LogicInfo& logicInfo) d_theoryEngine.reset(new TheoryEngine(d_smt.getContext(), d_smt.getUserContext(), d_rm, - d_pp.getTermFormulaRemover(), logicInfo, d_smt.getOutputManager(), d_pnm)); |