remove commented out code

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

1 files changed, 0 insertions, 8 deletions

diff --git a/src/util/lp/gomory.cpp b/src/util/lp/gomory.cpp
index 55d9448..3ccbbde 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;