From 6f56d87694952e983afe7304183dd4193a38d73e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 5 Jun 2021 17:30:38 -0700 Subject: [PATCH] #5324 --- src/sat/smt/q_mam.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/sat/smt/q_mam.cpp b/src/sat/smt/q_mam.cpp index 2df08fbae..4220eb7d4 100644 --- a/src/sat/smt/q_mam.cpp +++ b/src/sat/smt/q_mam.cpp @@ -1991,7 +1991,8 @@ namespace q { TRACE("trigger_bug", tout << "execute for code tree:\n"; t->display(tout);); init(t); if (t->filter_candidates()) { - for (enode* app : t->get_candidates()) { + for (unsigned i = 0; i < t->get_candidates().size(); ++i) { + enode* app = t->get_candidates()[i]; TRACE("trigger_bug", tout << "candidate\n" << mk_ismt2_pp(app->get_expr(), m) << "\n";); if (!app->is_marked1() && app->is_cgr()) { if (ctx.resource_limits_exceeded() || !execute_core(t, app)) @@ -2005,7 +2006,8 @@ namespace q { } } else { - for (enode* app : t->get_candidates()) { + for (unsigned i = 0; i < t->get_candidates().size(); ++i) { + enode* app = t->get_candidates()[i]; TRACE("trigger_bug", tout << "candidate\n" << mk_ismt2_pp(app->get_expr(), m) << "\n";); if (app->is_cgr()) { TRACE("trigger_bug", tout << "is_cgr\n";);