mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
reserve space in heap to avoid debug check in elim_unconstrained
This commit is contained in:
parent
97c70ba501
commit
b592ce4707
|
@ -187,7 +187,8 @@ void elim_unconstrained::eliminate() {
|
|||
set_root(p, rn);
|
||||
expr* rt = rn.term();
|
||||
SASSERT(!m_heap.contains(rt->get_id()));
|
||||
if (is_uninterp_const(rt))
|
||||
m_heap.reserve(rt->get_id() + 1);
|
||||
if (is_uninterp_const(rt))
|
||||
m_heap.insert(rt->get_id());
|
||||
else
|
||||
m_created_compound = true;
|
||||
|
|
Loading…
Reference in a new issue