From 84997f8b21ec6d4c63d6b3fad21953ff22624b46 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 31 Dec 2023 20:58:26 -1000
Subject: [PATCH] move a TRACE statement

---
 src/math/lp/gomory.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp
index 0f57ced55..7916f66f7 100644
--- a/src/math/lp/gomory.cpp
+++ b/src/math/lp/gomory.cpp
@@ -322,7 +322,6 @@ public:
         for (auto c : *m_ex) 
          	m_dep = lia.lra.join_deps(lia.lra.dep_manager().mk_leaf(c.ci()), m_dep);
 
-        TRACE("gomory_cut", print_linear_combination_of_column_indices_only(m_t.coeffs_as_vector(), tout << "gomory cut: "); tout << " >= " << m_k << std::endl;);
         TRACE("gomory_cut_detail", dump_cut_and_constraints_as_smt_lemma(tout);
               lia.lra.display(tout));
         SASSERT(lia.current_solution_is_inf_on_cut());