From c240f62ca86cc21a3d1d50a631d46c51019ec605 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 15 Sep 2023 17:44:10 -0700
Subject: [PATCH] is_linear does not check for is_big

---
 src/math/lp/lp_bound_propagator.h | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 1c9dff84f6c..61eeae32575 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -121,7 +121,6 @@ class lp_bound_propagator {
     bool is_linear(const svector<lpvar>& m, lpvar& zero_var, lpvar& non_fixed) {
         zero_var = non_fixed = null_lpvar;
         unsigned n_of_non_fixed = 0;
-        bool big_bound = false;
         for (lpvar v : m) {
             if (!this->column_is_fixed(v)) {
                 n_of_non_fixed++;
@@ -133,11 +132,9 @@ class lp_bound_propagator {
                 zero_var = v;
                 return true;
             } 
-            if (b.is_big()) {
-                big_bound |= true;
-            }
+            
         }
-        return n_of_non_fixed <= 1 && !big_bound;
+        return n_of_non_fixed <= 1;
     }