From 01188462d50cbd4f3f2a84b4930ab23d2ee1dd4a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Oct 2023 16:24:05 -0700 Subject: [PATCH] build Signed-off-by: Nikolaj Bjorner --- src/math/lp/monomial_bounds.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp index fa634c219..0d6fb47e7 100644 --- a/src/math/lp/monomial_bounds.cpp +++ b/src/math/lp/monomial_bounds.cpp @@ -60,7 +60,6 @@ namespace nla { ++c().lra.settings().stats().m_nla_propagate_bounds; if (c().params().arith_nl_internal_bounds()) { auto* d = dep.get_upper_dep(range); - TRACE("arith", tout << "upper " << cmp << " " << upper << "\n"); propagate_bound(v, cmp, upper, d); } else { @@ -82,7 +81,6 @@ namespace nla { if (c().params().arith_nl_internal_bounds()) { auto* d = dep.get_lower_dep(range); propagate_bound(v, cmp, lower, d); - TRACE("arith", tout << v << " " << cmp << " " << lower << "\n"); } else { lp::explanation ex;