mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 21:38:44 +00:00
Code Activity

removed commented-out code

Browse source
This commit is contained in:
Ken McMillan 2013-11-05 13:35:37 -08:00
parent a785a5a4b8
commit d8972d4b17
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/ast/ast.cpp
View file

@ -1305,10 +1305,6 @@ ast_manager::ast_manager(ast_manager const & src, bool disable_proofs):
} }
void ast_manager::init() { void ast_manager::init() {
// TODO: the following is a HACK to enable proofs in the old smt solver
// When we stop using that solver, this hack can be removed
// m_proof_mode = PGM_FINE;
m_int_real_coercions = true; m_int_real_coercions = true;
m_debug_ref_count = false; m_debug_ref_count = false;
m_fresh_id = 0; m_fresh_id = 0;