From d95b549ff84b799e298f2f7db232499340460f05 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 16 Nov 2019 17:47:21 -0800
Subject: [PATCH] fix #2707

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_array_full.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/smt/theory_array_full.cpp b/src/smt/theory_array_full.cpp
index ac50ef5de..94ed6ea50 100644
--- a/src/smt/theory_array_full.cpp
+++ b/src/smt/theory_array_full.cpp
@@ -54,7 +54,8 @@ namespace smt {
         set_prop_upward(v,d);
         d_full->m_maps.push_back(s);
         m_trail_stack.push(push_back_trail<theory_array, enode *, false>(d_full->m_maps));
-        for (enode* n : d->m_parent_selects) {
+        for (unsigned i = 0; i < d->m_parent_selects.size(); ++i) {
+            enode* n = d->m_parent_selects[i];
             SASSERT(is_select(n));
             instantiate_select_map_axiom(n, s);
         }