From 78fea66703bc57f0e91bbca087800fda26eb17b0 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 5 Feb 2025 18:24:00 -1000
Subject: [PATCH] fix assert

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/static_matrix_def.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/static_matrix_def.h b/src/math/lp/static_matrix_def.h
index a6d2869a8..b7387df2c 100644
--- a/src/math/lp/static_matrix_def.h
+++ b/src/math/lp/static_matrix_def.h
@@ -87,7 +87,7 @@ namespace lp {
 
     
     template <typename T, typename X> void static_matrix<T, X>::add_rows(const mpq& alpha, unsigned i, unsigned k) {
-        lp_assert(i < row_count() && k < column_count() && i != k);
+        lp_assert(i < row_count() && k < row_count() && i != k);
         auto & rowk = m_rows[k];
         scan_row_strip_to_work_vector(rowk);
         unsigned prev_size_k = rowk.size();