From 9eea5cb91a3936e9dd597349a47df1cb3592c461 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 8 Oct 2019 18:15:59 -0700 Subject: [PATCH] make smt2 log scope aware Signed-off-by: Nikolaj Bjorner --- src/ast/decl_collector.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/ast/decl_collector.cpp b/src/ast/decl_collector.cpp index 01425f0b5..2333188c5 100644 --- a/src/ast/decl_collector.cpp +++ b/src/ast/decl_collector.cpp @@ -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) {