From c429455f10e5b7019918045e20c793d92db57607 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Jun 2018 08:52:25 -0700 Subject: [PATCH] visit parameters during occurs count Signed-off-by: Nikolaj Bjorner --- src/model/model.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/model/model.cpp b/src/model/model.cpp index 97a2917b7..83adfc87e 100644 --- a/src/model/model.cpp +++ b/src/model/model.cpp @@ -260,7 +260,7 @@ struct model::occs_collector { void operator()(func_decl* f) { ts.add_occurs(f); } - void operator()(ast* ) {} + void operator()(ast*) {} }; @@ -319,7 +319,7 @@ void model::collect_occs(top_sort& ts, func_decl* f) { void model::collect_occs(top_sort& ts, expr* e) { occs_collector collector(ts); - for_each_ast(collector, e); + for_each_ast(collector, e, true); } bool model::can_inline_def(top_sort& ts, func_decl* f) {