From e9565d6a7f788fddc4f9681b08dd4238e11811ad Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Thu, 17 Sep 2015 12:18:44 +0100
Subject: [PATCH] Fixed warning message

---
 src/util/mpf.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/mpf.cpp b/src/util/mpf.cpp
index 96ff9a2b8..d77633780 100644
--- a/src/util/mpf.cpp
+++ b/src/util/mpf.cpp
@@ -1181,7 +1181,7 @@ void mpf_manager::to_ieee_bv_mpz(const mpf & x, scoped_mpz & o) {
     unsigned ebits = x.get_ebits();
     m_mpz_manager.set(o, sgn(x));
     m_mpz_manager.mul2k(o, ebits);
-    m_mpz_manager.add(o, exp(x), o);
+    m_mpz_manager.add(o, (int)exp(x), o);
     m_mpz_manager.mul2k(o, sbits - 1);
     m_mpz_manager.add(o, sig(x), o);
 }