assert

Z3Prover · Aug 25, 2022 · f6e151a · f6e151a
1 parent d975886
commit f6e151a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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);
     }