From 708602dfbb3bbb6d0d225d202a4b129fd90fd703 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 21 Sep 2021 08:56:13 -0700 Subject: [PATCH] fix #5560 - add a throttle on maximal size of bignums created for propagate-value lemmas Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/bool_rewriter.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ast/rewriter/bool_rewriter.cpp b/src/ast/rewriter/bool_rewriter.cpp index 1ee0a53b3..4c2ed7e12 100644 --- a/src/ast/rewriter/bool_rewriter.cpp +++ b/src/ast/rewriter/bool_rewriter.cpp @@ -924,7 +924,6 @@ br_status bool_rewriter::mk_ite_core(expr * c, expr * t, expr * e, expr_ref & re if (m().is_ite(t) && m_ite_extra_rules && m_elim_ite) { - std::cout << "extra rules\n"; // (ite c1 (ite c2 t1 t2) t1) ==> (ite (and c1 (not c2)) t2 t1) if (e == to_app(t)->get_arg(1)) { expr_ref not_c2(m());