From d6365610d54087f2167c8e05423e6a7b3089df2c Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 20 Dec 2023 06:49:55 -1000 Subject: [PATCH] change some TRACE statements --- src/math/lp/int_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/int_solver.cpp b/src/math/lp/int_solver.cpp index f760755a205..5dde0669072 100644 --- a/src/math/lp/int_solver.cpp +++ b/src/math/lp/int_solver.cpp @@ -670,11 +670,11 @@ namespace lp { if (abs(value.x) < small_value || (has_upper(j) && small_value > upper_bound(j).x - value.x) || (has_lower(j) && small_value > value.x - lower_bound(j).x)) { - TRACE("gomory_cut", tout << "small j" << j << "\n"); + TRACE("int_solver", tout << "small j" << j << "\n"); add_column(true, r_small_value, n_small_value, j); continue; } - TRACE("gomory_cut", tout << "any j" << j << "\n"); + TRACE("int_solver", tout << "any j" << j << "\n"); add_column(usage >= prev_usage, r_any_value, n_any_value, j); if (usage > prev_usage) prev_usage = usage;