From ca12a8482f0dd2affa51967a49e0248aaa9e5388 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 12 Jul 2018 22:50:24 -0700
Subject: [PATCH] fix to closure
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/ast/ast.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp
index 9ce1b582d..a927df3b5 100644
--- a/src/ast/ast.cpp
+++ b/src/ast/ast.cpp
@@ -2329,7 +2329,7 @@ bool ast_manager::is_label_lit(expr const * n, buffer<symbol> & names) const {
return false;
}
func_decl const * decl = to_app(n)->get_decl();
- for (parameter const& p : decl->parameters()) {
+ for (parameter const& p : decl->parameters())
names.push_back(p.get_symbol());
return true;
}