From f6e151a49cab91f31c24f838bea8d8df5be2d742 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 24 Aug 2022 17:16:40 -0700
Subject: [PATCH] assert

---
 src/math/simplex/model_based_opt.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index 5cd4e24aac4..2e899c301d0 100644
--- a/src/math/simplex/model_based_opt.cpp
+++ b/src/math/simplex/model_based_opt.cpp
@@ -419,6 +419,7 @@ namespace opt {
     }
 
     void model_based_opt::retire_row(unsigned row_id) {
+        SASSERT(!m_retired_rows.contains(row_id));
         m_rows[row_id].m_alive = false;
         m_retired_rows.push_back(row_id);
     }