From 67ce05c1f54e502388c7a7f6d7aadf97ac61421e Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 15 Feb 2026 16:16:06 +0000
Subject: [PATCH] fix

---
 src/util/mpz.cpp | 16 ++++++++--------
 src/util/mpz.h   |  6 +++---
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 276b264f6..52441ae38 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -377,7 +377,7 @@ void mpz_manager<SYNCH>::set(mpz_cell& src, mpz & a, int sign, unsigned sz) {
     unsigned d = src.m_digits[0];
     if (i == 1 && d <= mpz::SMALL_INT_MAX) {
         // src fits in small integer range
-        a.set64(sign < 0 ? -static_cast<int64_t>(d) : static_cast<int64_t>(d));
+        a.set(sign < 0 ? -static_cast<int64_t>(d) : static_cast<int64_t>(d));
         return;
     }
 
@@ -665,7 +665,7 @@ template<bool SYNCH>
 void mpz_manager<SYNCH>::neg(mpz & a) {
     STRACE(mpz, tout << "[mpz] 0 - " << to_string(a) << " == ";); 
     if (is_small(a)) {
-        a.set64(-a.value());
+        a.set(-a.value());
     }
 #ifndef _MP_GMP
     else {
@@ -684,7 +684,7 @@ void mpz_manager<SYNCH>::abs(mpz & a) {
     if (is_small(a)) {
         int64_t v = a.value();
         if (v < 0) {
-            a.set64(-v);
+            a.set(-v);
         }
     }
     else {
@@ -949,7 +949,7 @@ void mpz_manager<SYNCH>::gcd(mpz const & a, mpz const & b, mpz & c) {
             
             // reset least significant bit
             if (is_small(v))
-                v.set64(v.value() & ~1);
+                v.set(v.value() & ~1);
             else
                 v.ptr()->m_digits[0] &= ~static_cast<digit_t>(1);
             k_v = power_of_two_multiple(v);
@@ -1346,7 +1346,7 @@ void mpz_manager<SYNCH>::bitwise_or(mpz const & a, mpz const & b, mpz & c) {
     SASSERT(is_nonneg(b));
     TRACE(mpz, tout << "is_small(a): " << is_small(a) << ", is_small(b): " << is_small(b) << "\n";);
     if (is_small(a) && is_small(b)) {
-        c.set64(a.value() | b.value());
+        c.set(a.value() | b.value());
     }
     else {
 #ifndef _MP_GMP
@@ -1391,7 +1391,7 @@ void mpz_manager<SYNCH>::bitwise_and(mpz const & a, mpz const & b, mpz & c) {
     SASSERT(is_nonneg(a));
     SASSERT(is_nonneg(b));
     if (is_small(a) && is_small(b)) {
-        c.set64(a.value() & b.value());
+        c.set(a.value() & b.value());
     }
     else {
 #ifndef _MP_GMP
@@ -1996,10 +1996,10 @@ void mpz_manager<SYNCH>::machine_div2k(mpz & a, unsigned k) {
         if (k < 64) {
             int64_t twok = 1ull << ((int64_t)k);
             int64_t val = a.value();
-            a.set64(val/twok);
+            a.set(val/twok);
         }
         else {
-            a.set64(0);
+            a.set(0);
         }
         return;
     }
diff --git a/src/util/mpz.h b/src/util/mpz.h
index 8c68a42b6..243189bef 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -178,7 +178,7 @@ public:
         std::swap(m_value, other.m_value);
     }
 
-    void set64(int64_t v) {
+    void set(int64_t v) {
         SASSERT(is_small());
         SASSERT(fits_in_small(v));
         m_value = static_cast<uintptr_t>(v) << 1;
@@ -602,7 +602,7 @@ public:
 
     void set(mpz & a, int64_t val) {
         if (mpz::fits_in_small(v) && is_small(c)) {
-            c.set64(v);
+            c.set(v);
         }
         else {
             set_big_i64(c, v);
@@ -611,7 +611,7 @@ public:
 
     void set(mpz & a, uint64_t val) {
         if (mpz::fits_in_small(val) && is_small(a)) {
-            a.set64(static_cast<int64_t>(val));
+            a.set(static_cast<int64_t>(val));
         }
         else {
             set_big_ui64(a, val);