From 3ac11cd1363aef753346c4f1c3ee65449f55f633 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();