From 9a18628b17d2704ada69f05774fa4849db70e219 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 18 Dec 2023 18:49:27 -1000
Subject: [PATCH] remove unnecessary assignments
---
src/math/lp/gomory.cpp | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/math/lp/gomory.cpp b/src/math/lp/gomory.cpp
index 5c38a8c7f..26686b206 100644
--- a/src/math/lp/gomory.cpp
+++ b/src/math/lp/gomory.cpp
@@ -242,7 +242,6 @@ public:
// gomory will be t >= k and the current solution has a property t < k
m_k = 1;
m_t.clear();
- mpq m_f = fractional_part(get_value(m_inf_col));
TRACE("gomory_cut_detail", tout << "m_f: " << m_f << ", ";
tout << "1 - m_f: " << 1 - m_f << ", get_value(m_inf_col).x - m_f = " << get_value(m_inf_col).x - m_f << "\n";);
lp_assert(m_f.is_pos() && (get_value(m_inf_col).x - m_f).is_int());
@@ -257,7 +256,6 @@ public:
}
m_big_number = m_abs_max.expt(2);
#endif
- mpq one_min_m_f = 1 - m_f;
for (const auto & p : m_row) {
unsigned j = p.var();
if (j == m_inf_col) {