From 187ba6a5617a346ca7ce981955578d6e41beac28 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 7 Apr 2018 13:31:23 -0700
Subject: [PATCH] fix cast in tests

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

diff --git a/src/test/mpz.cpp b/src/test/mpz.cpp
index 7926388df..3fd8cf51b 100644
--- a/src/test/mpz.cpp
+++ b/src/test/mpz.cpp
@@ -127,8 +127,8 @@ static void bug3() {
 static void bug4() {
     synch_mpz_manager m;
     mpz x, y;
-    m.set(y, 4294967295ull);
-    m.set(x, 4026531839ull);
+    m.set(y, static_cast<uint64>(4294967295ull));
+    m.set(x, static_cast<uint64>(4026531839ull));
     mpz result1;
     m.bitwise_or(x, y, result1);