#5336

Z3Prover · Jun 17, 2021 · 0b3a852 · 0b3a852
1 parent 1dedfe3
commit 0b3a852
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/sat/smt/q_mam.cpp b/src/sat/smt/q_mam.cpp
@@ -3705,9 +3705,12 @@ namespace q {
                 SASSERT(tmp_tree != 0);
                 SASSERT(!m_egraph.enodes_of(lbl).empty());
                 m_interpreter.init(tmp_tree);
-                for (enode * app : m_egraph.enodes_of(lbl)) 
+                auto& nodes = m_egraph.enodes_of(lbl);
+                for (unsigned i = 0; i < nodes.size(); ++i) {
+                    enode* app = nodes[i];
                     if (ctx.is_relevant(app))
                         m_interpreter.execute_core(tmp_tree, app);
+                }
                 m_tmp_trees[lbl_id] = nullptr;
                 dealloc(tmp_tree);
             }