diff --git a/src/util/lp/gomory.cpp b/src/util/lp/gomory.cpp
index 691828b9f..a86e5e50f 100644
--- a/src/util/lp/gomory.cpp
+++ b/src/util/lp/gomory.cpp
@@ -295,12 +295,14 @@ 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;