diff options
Diffstat (limited to 'src/smt/smt_solver.h')
| -rw-r--r-- | src/smt/smt_solver.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/smt/smt_solver.h b/src/smt/smt_solver.h index b02cde88a..8689f152c 100644 --- a/src/smt/smt_solver.h +++ b/src/smt/smt_solver.h @@ -73,11 +73,8 @@ class SmtSolver * Create theory engine, prop engine based on the logic info. * * @param logicInfo the logic information - * @param proofForUnsatCoreMode whether this SmtSolver will operate in unsat - * core mode. If true, proofs will not be produced in the theory engine. */ - void finishInit(const LogicInfo& logicInfo, - bool proofForUnsatCoreMode = false); + void finishInit(const LogicInfo& logicInfo); /** Reset all assertions, global declarations, etc. */ void resetAssertions(); /** |