From cfd9785025e7995cc7622abe258c1271dd85bf89 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 6 Apr 2018 19:32:01 -0700
Subject: [PATCH] replace by int64_t and uint64_t

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

diff --git a/src/util/util.h b/src/util/util.h
index ad427dfaf..067c2b2f4 100644
--- a/src/util/util.h
+++ b/src/util/util.h
@@ -24,19 +24,22 @@ Revision History:
 #include<iostream>
 #include<climits>
 #include<limits>
+#include<stdint.h>
 
 #ifndef SIZE_MAX
 #define SIZE_MAX std::numeric_limits<std::size_t>::max()
 #endif
 
+#undef uint64
 #ifndef uint64
-typedef unsigned long long uint64;
+typedef uint64_t uint64;
 #endif
 
 static_assert(sizeof(uint64) == 8, "64 bits please");
 
+#undef int64
 #ifndef int64
-typedef long long int64;
+typedef int64_t int64;
 #endif
 
 static_assert(sizeof(int64) == 8, "64 bits");