From 6752be72635eb6bd63ddaac9dab7f9135784e385 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 15 Sep 2025 10:43:09 -0700
Subject: [PATCH] Remove unused variable in polynomial.cpp

Removed unused variable 'sz2' in polynomial multiplication.
---
 src/math/polynomial/polynomial.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index 2638e781d..bf0e3005b 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -3016,7 +3016,6 @@ namespace polynomial {
             }
             m_som_buffer.reset();
             unsigned sz1 = p1->size();
-            unsigned sz2 = p2->size();
             for (unsigned i = 0; i < sz1; i++) {
                 checkpoint();
                 numeral const & a1 = p1->a(i);
@@ -3026,6 +3025,7 @@ namespace polynomial {
             m_som_buffer.add(a);
             auto p = m_som_buffer.mk();
 #if 0
+            unsigned sz2 = p2->size();
             if (sz1 > 2 && sz2 > 2) {
                 auto s1 = sw.get_seconds();
                 IF_VERBOSE(0, verbose_stream() << "polynomial muladd time: " << sz1 << " " << sz2 << " " << s1 << "\n");