3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00

make smt2 log scope aware

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-10-08 18:15:59 -07:00
parent 8bb2442a3f
commit 9eea5cb91a

View file

@ -126,7 +126,9 @@ void decl_collector::order_deps(unsigned n) {
}
st.topological_sort();
m_sorts.shrink(n);
for (sort* s : st.top_sorted()) m_sorts.push_back(s);
for (sort* s : st.top_sorted()) {
m_sorts.push_back(s);
}
}
decl_collector::sort_set* decl_collector::collect_deps(sort* s) {