build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 10, 2023 · 0118846 · 0118846
1 parent 960a024
commit 0118846
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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;