From 22a2aae486a1c7e8dea0baec771d8db43a5816cd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 1 Aug 2017 11:47:55 -0700 Subject: [PATCH] trying to fix build break on use of iterator Signed-off-by: Nikolaj Bjorner --- src/muz/transforms/dl_mk_array_eq_rewrite.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp index 2001cb01b..85dc1eee4 100644 --- a/src/muz/transforms/dl_mk_array_eq_rewrite.cpp +++ b/src/muz/transforms/dl_mk_array_eq_rewrite.cpp @@ -77,7 +77,7 @@ namespace datalog { } } - for (auto & c_eq : array_eq_classes) { + for (auto c_eq : array_eq_classes) { expr* representative = *(c_eq.begin()); for (expr * v : c_eq) { if (!is_var(v)) {