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;
         }