From 12b7a4dae3907a0251cf6a020c11641a48458c97 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 1 Mar 2026 21:51:00 +0000
Subject: [PATCH] Remove unused old_qhead variable in seq_plugin::propagate

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/euf/euf_seq_plugin.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/ast/euf/euf_seq_plugin.cpp b/src/ast/euf/euf_seq_plugin.cpp
index 531591336..ecce20721 100644
--- a/src/ast/euf/euf_seq_plugin.cpp
+++ b/src/ast/euf/euf_seq_plugin.cpp
@@ -50,8 +50,6 @@ namespace euf {
     void seq_plugin::propagate() {
         if (m_qhead == m_queue.size())
             return;
-        // save qhead for undo
-        unsigned old_qhead = m_qhead;
         for (; m_qhead < m_queue.size(); ++m_qhead) {
             if (g.inconsistent())
                 break;
@@ -64,7 +62,6 @@ namespace euf {
                 propagate_merge(a, b);
             }
         }
-        (void)old_qhead;
     }
 
     void seq_plugin::propagate_register_node(enode* n) {