From dfc0141894c34a1b8c4014adee82677f0595bad5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 22 Jun 2018 13:25:21 +0200
Subject: [PATCH] minor fix to Z3 API modification

---
 src/storm/adapters/Z3ExpressionAdapter.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/storm/adapters/Z3ExpressionAdapter.cpp b/src/storm/adapters/Z3ExpressionAdapter.cpp
index fec9068b0..8a7f55bf5 100644
--- a/src/storm/adapters/Z3ExpressionAdapter.cpp
+++ b/src/storm/adapters/Z3ExpressionAdapter.cpp
@@ -1,5 +1,7 @@
 #include "storm/adapters/Z3ExpressionAdapter.h"
 
+#include <cstdint>
+
 #include "storm/storage/expressions/Expressions.h"
 #include "storm/storage/expressions/ExpressionManager.h"
 #include "storm/utility/macros.h"
@@ -15,7 +17,7 @@ namespace storm {
         
 #ifdef STORM_Z3_API_USES_STANDARD_INTEGERS
             typedef int64_t Z3_SIGNED_INTEGER;
-            typedef int64_t Z3_UNSIGNED_INTEGER;
+            typedef uint64_t Z3_UNSIGNED_INTEGER;
 #else
             typedef long long Z3_SIGNED_INTEGER;
             typedef unsigned long long Z3_UNSIGNED_INTEGER;