From a7966dc436c1404726583d2a723b8363facafd9a Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 7 Aug 2023 13:05:16 -1000
Subject: [PATCH] remove an assert

---
 src/math/lp/lp_bound_propagator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index f814bea73..46670ad91 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -293,7 +293,7 @@ class lp_bound_propagator {
         if (!column_is_fixed(x)) {
             nf++;
         } else {
-            lp_assert(all_fixed_in_row(row_index));
+            // we have a fixed base column, exiting
             return 0;
         }