From 0b3a8522ac20e91bcf5d667063a5146d901ab23f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 16 Jun 2021 21:57:46 -0500 Subject: [PATCH] #5336 --- src/sat/smt/q_mam.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/sat/smt/q_mam.cpp b/src/sat/smt/q_mam.cpp index 76965cd63..7bd769f8e 100644 --- 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); }