From 39e427a22944586b311a790722874cb21f68b9c0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Nov 2025 21:06:11 -0800
Subject: [PATCH] remove unused

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/euf/euf_ac_plugin.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/ast/euf/euf_ac_plugin.cpp b/src/ast/euf/euf_ac_plugin.cpp
index e89f18d58..431147097 100644
--- a/src/ast/euf/euf_ac_plugin.cpp
+++ b/src/ast/euf/euf_ac_plugin.cpp
@@ -1057,7 +1057,6 @@ namespace euf {
         SASSERT(is_correct_ref_count(dst, dst_counts));
         SASSERT(&src_r.m_nodes != &dst);
         unsigned sz = dst.size(), j = 0;
-        bool change = false;
         for (unsigned i = 0; i < sz; ++i) {
             auto* n = dst[i];
             unsigned id = n->id();