From 0c2ed444ca5f88d2f49170e849df0c0ba749ac3e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 Jun 2026 15:17:22 -0700
Subject: [PATCH] fix build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/seq_derive.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/rewriter/seq_derive.cpp b/src/ast/rewriter/seq_derive.cpp
index 25c7f3b44..4f0233961 100644
--- a/src/ast/rewriter/seq_derive.cpp
+++ b/src/ast/rewriter/seq_derive.cpp
@@ -748,7 +748,7 @@ namespace seq {
             return expr_ref(re().mk_to_re(u().str.mk_concat(s1, s2)), m);
 
         // r* · r* → r*
-        expr* a1 = nullptr, * b1 = nullptr;
+        expr* a1 = nullptr, *a2 = nullptr, * b1 = nullptr;
         if (re().is_star(a, a1) && re().is_star(b, b1) && a1 == b1)
             return expr_ref(a, m);