From 0cba2962ba2c37847fa3a1b0bf2ff18416b600cb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Mon, 3 Jan 2022 20:39:15 +0100
Subject: [PATCH] exprengine: fix appveyor failure

---
 lib/exprengine.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/exprengine.cpp b/lib/exprengine.cpp
index 66fc46c22..2efd6e4a9 100644
--- a/lib/exprengine.cpp
+++ b/lib/exprengine.cpp
@@ -150,7 +150,7 @@
 #define Z3_VERSION_INT             GET_VERSION_INT(Z3_MAJOR_VERSION, Z3_MINOR_VERSION, Z3_BUILD_NUMBER)
 #endif
 
-constexpr auto MAX_BUFFER_SIZE = ~0UL;
+const std::uint64_t MAX_BUFFER_SIZE = ~0ULL;
 #define CONTRACT 1
 
 namespace {