From a467d8c004e5b7676ebe6a5c85eb146a388f46b1 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Fri, 15 Aug 2025 09:50:45 -0700 Subject: [PATCH] Fix compilation warning: add missing is_passive_eq case to switch statement (#7785) * Initial plan * Fix compilation warning: add missing is_passive_eq case to switch statement 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/ast/euf/euf_ac_plugin.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/euf/euf_ac_plugin.cpp b/src/ast/euf/euf_ac_plugin.cpp index ce0134439..e89f18d58 100644 --- a/src/ast/euf/euf_ac_plugin.cpp +++ b/src/ast/euf/euf_ac_plugin.cpp @@ -686,6 +686,7 @@ namespace euf { case eq_status::is_processed_eq: case eq_status::is_reducing_eq: case eq_status::is_dead_eq: + case eq_status::is_passive_eq: m_to_simplify_todo.remove(id); break; case eq_status::is_to_simplify_eq: