mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-16 10:56:16 +00:00
Code Activity

assert

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-08-24 17:16:40 -07:00
parent d975886cdc
commit f6e151a49c
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/simplex/model_based_opt.cpp
View file

@ -419,6 +419,7 @@ namespace opt {
} }
void model_based_opt::retire_row(unsigned row_id) { void model_based_opt::retire_row(unsigned row_id) {
SASSERT(!m_retired_rows.contains(row_id));
m_rows[row_id].m_alive = false; m_rows[row_id].m_alive = false;
m_retired_rows.push_back(row_id); m_retired_rows.push_back(row_id);
} }