mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +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
parent 59dfcdfc4e
commit a84ec5e397
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