From 4f5133cf72e98453a8faab089fba720438cbc0c1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 7 Apr 2018 10:16:46 -0700
Subject: [PATCH] disambiguate calls to set

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/hwf.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/hwf.cpp b/src/util/hwf.cpp
index 014e62625..0768eac41 100644
--- a/src/util/hwf.cpp
+++ b/src/util/hwf.cpp
@@ -413,12 +413,12 @@ void hwf_manager::to_rational(hwf const & x, unsynch_mpq_manager & qm, mpq & o)
     scoped_mpz n(qm), d(qm);
 
     if (is_normal(x))
-        qm.set(n, sig(x) | 0x0010000000000000ull);
+        qm.set(n, (uint64)(sig(x) | 0x0010000000000000ull));
     else
         qm.set(n, sig(x));
     if (sgn(x))
         qm.neg(n);
-    qm.set(d, 0x0010000000000000ull);
+    qm.set(d, (uint64)0x0010000000000000ull);
     int e = exp(x);
     if (e >= 0)
         qm.mul2k(n, (unsigned)e);