mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-08 08:51:55 +00:00
Code Activity

Remove unused variable 'first' in mpz.cpp

Browse source 
Removed unused variable 'first' from the function.
This commit is contained in:
Nikolaj Bjorner 2025-10-06 13:39:27 -07:00 • committed by GitHub
parent cd1ceb6efe
commit 542e015550
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/util/mpz.cpp
View file

@ -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