From 542e01555081a0966bbd668db8a3582a493c35b4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Oct 2025 13:39:27 -0700
Subject: [PATCH] Remove unused variable 'first' in mpz.cpp

Removed unused variable 'first' from the function.
---
 src/util/mpz.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 0d4df44a2..94d95d85c 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -2332,7 +2332,6 @@ bool mpz_manager<SYNCH>::is_perfect_square(mpz const & a, mpz & root) {
     set(sq_lo, 1);    
 
     bool result = false;
-    bool first = true;
     // lo*lo <= *this < hi*hi
 
     // first find small interval lo*lo <= a <<= hi*hi