From bb5306031369dd22cfcc291ea7aeeb83b2c8fc63 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 6 Jun 2018 19:26:40 -0700
Subject: [PATCH] int64_t

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

diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp
index 2a85320a5..50f0d68e7 100644
--- a/src/util/mpz.cpp
+++ b/src/util/mpz.cpp
@@ -58,8 +58,8 @@ Revision History:
 #if defined(_AMD64_) && !defined(__GNUC__)
 #define _trailing_zeros64(x) _tzcnt_u64(x)
 #else
-inline uint64 _trailing_zeros64(uint64 x) {
-    uint64 r = 0;
+inline uint64_t _trailing_zeros64(uint64_t x) {
+    uint64_t r = 0;
     for (; 0 == (x & 1) && r < 64; ++r, x >>= 1);
     return r;
 }