From d8972d4b178e978f7d236527b12055aa883ece47 Mon Sep 17 00:00:00 2001 From: Ken McMillan Date: Tue, 5 Nov 2013 13:35:37 -0800 Subject: [PATCH] removed commented-out code --- src/ast/ast.cpp | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 36aeea9a0..640bc7ceb 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -1305,10 +1305,6 @@ ast_manager::ast_manager(ast_manager const & src, bool disable_proofs): } 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_debug_ref_count = false; m_fresh_id = 0;