From 1cf9ba152bf1699cb10865a3b433cff6d42cba81 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Sat, 24 Jan 2026 10:17:27 -0800 Subject: [PATCH] Refactor dyn_ack propagate_eh to use structured bindings (#8317) * Initial plan * Refactor dyn_ack propagate_eh to use C++17 structured bindings Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/smt/dyn_ack.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/smt/dyn_ack.cpp b/src/smt/dyn_ack.cpp index f28a4f10d..822940979 100644 --- a/src/smt/dyn_ack.cpp +++ b/src/smt/dyn_ack.cpp @@ -379,16 +379,16 @@ namespace smt { } unsigned max_instances = static_cast(m_context.get_num_conflicts() * m_params.m_dack_factor); while (m_num_instances < max_instances && m_qhead < m_to_instantiate.size()) { - app_pair & p = m_to_instantiate[m_qhead]; + auto& [first, second] = m_to_instantiate[m_qhead]; m_qhead++; m_num_instances++; - instantiate(p.first, p.second); + instantiate(first, second); } while (m_num_instances < max_instances && m_triple.m_qhead < m_triple.m_to_instantiate.size()) { - app_triple & p = m_triple.m_to_instantiate[m_triple.m_qhead]; + auto& [first, second, third] = m_triple.m_to_instantiate[m_triple.m_qhead]; m_triple.m_qhead++; m_num_instances++; - instantiate(p.first, p.second, p.third); + instantiate(first, second, third); } }