From 3efe311c2516cca5598021e56e64fa546df46ce0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 24 Jan 2020 17:45:19 -0600 Subject: [PATCH] remove commented out code Signed-off-by: Nikolaj Bjorner --- src/util/lp/gomory.cpp | 8 -------- 1 file changed, 8 deletions(-) diff --git a/src/util/lp/gomory.cpp b/src/util/lp/gomory.cpp index 55d944885..3ccbbde63 100644 --- a/src/util/lp/gomory.cpp +++ b/src/util/lp/gomory.cpp @@ -296,14 +296,6 @@ public: } else { if (p.coeff().is_int()) { // m_fj will be zero and no monomial will be added -#if 0 - if (at_lower(j)) { - m_ex.push_justification(column_lower_bound_constraint(j)); - } - if (at_upper(j)) { - m_ex.push_justification(column_upper_bound_constraint(j)); - } -#endif continue; } some_int_columns = true;