mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix crashes in nlsat
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
ab39f06df7
commit
1c3d385c25
|
@ -734,7 +734,7 @@ namespace nlsat {
|
|||
void undo_set_updt(interval_set * old_set) {
|
||||
SASSERT(m_xk != null_var);
|
||||
var x = m_xk;
|
||||
if (x < m_infeasible.size() && m_infeasible[x]) {
|
||||
if (x < m_infeasible.size()) {
|
||||
m_ism.dec_ref(m_infeasible[x]);
|
||||
m_infeasible[x] = old_set;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue