From 1c5283f3a44735cf004ef0e0226b6574ce657c84 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 16 Mar 2020 20:36:41 -0700 Subject: [PATCH] remove mk_pp to fix build on some platforms Signed-off-by: Nikolaj Bjorner --- src/ast/rewriter/poly_rewriter_def.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/rewriter/poly_rewriter_def.h b/src/ast/rewriter/poly_rewriter_def.h index de98f33fa..c4493d8ac 100644 --- a/src/ast/rewriter/poly_rewriter_def.h +++ b/src/ast/rewriter/poly_rewriter_def.h @@ -766,7 +766,6 @@ br_status poly_rewriter::cancel_monomials(expr * lhs, expr * rhs, bool m } if (move && num_coeffs == 0 && is_numeral(rhs)) { - TRACE("mk_le_bug", tout << "no coeffs " << mk_pp(lhs, m()) << " = " << mk_pp(rhs, m()) << "\n";); return BR_FAILED; } @@ -799,7 +798,6 @@ br_status poly_rewriter::cancel_monomials(expr * lhs, expr * rhs, bool m } } } - TRACE("le_bug", tout << num_coeffs << " " << mk_pp(lhs, m()) << " " << mk_pp(rhs, m()) << "\n";); buffer coeffs; m_expr2pos.reset();