From 20ce3b227a232a84263f9f3e9b9fbf6370896e37 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Fri, 15 Aug 2025 15:58:10 +0000 Subject: [PATCH] Fix compilation warning: add missing is_passive_eq case to switch statement 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: