From 3931dd5da0747cdf67b86d5f19546b7f3298b6cf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 21 Jan 2020 11:48:00 -0600
Subject: [PATCH] fix build of test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/lp/gomory.cpp | 2 ++
 1 file changed, 2 insertions(+)

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;