mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Bugfix for variable renamings (fec815b41e
)
This commit is contained in:
parent
fec815b41e
commit
e240e6c430
|
@ -154,7 +154,7 @@ class func_decl_dependencies::top_sort {
|
|||
case OPEN:
|
||||
set_color(cf, IN_PROGRESS);
|
||||
if (visit_children(cf)) {
|
||||
SASSERT(m_todo.back() == f);
|
||||
SASSERT(m_todo.back() == cf);
|
||||
m_todo.pop_back();
|
||||
set_color(cf, CLOSED);
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue