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

---
 src/util/mpq.h | 9 +--------
 src/util/mpz.h | 4 ++--
 2 files changed, 3 insertions(+), 10 deletions(-)

diff --git a/src/util/mpq.h b/src/util/mpq.h
index 85285ecdd..83992111f 100644
--- a/src/util/mpq.h
+++ b/src/util/mpq.h
@@ -674,7 +674,7 @@ public:
 
     void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
 
-    void set(mpq & a, int val) {
+    void set(mpq & a, int64_t val) {
         set(a.m_num, val);
         reset_denominator(a);
     }
@@ -724,13 +724,6 @@ public:
 
     void set(mpq & a, char const * val);
 
-    void set(mpz & a, int64_t val) { mpz_manager<SYNCH>::set(a, val); }
-
-    void set(mpq & a, int64_t val) {
-        set(a.m_num, val);
-        reset_denominator(a);
-    }
-
     void set(mpz & a, uint64_t val) { mpz_manager<SYNCH>::set(a, val); }
     
     void set(mpq & a, uint64_t val) {
diff --git a/src/util/mpz.h b/src/util/mpz.h
index 384acc7f2..c4ac37d1d 100644
--- a/src/util/mpz.h
+++ b/src/util/mpz.h
@@ -602,10 +602,10 @@ public:
 
     void set(mpz & a, int64_t val) {
         if (mpz::fits_in_small(val) && is_small(a)) {
-            a.set(v);
+            a.set(val);
         }
         else {
-            set_big_i64(a, v);
+            set_big_i64(a, val);
         }
     }