From 433c05cc3e8dd5590768da101c74e41e16551e09 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 31 May 2017 11:27:29 +0200
Subject: [PATCH] Fixed compiling under Linux

---
 src/storm/storage/BitVector.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/BitVector.cpp b/src/storm/storage/BitVector.cpp
index 5933aac6f..35735a228 100644
--- a/src/storm/storage/BitVector.cpp
+++ b/src/storm/storage/BitVector.cpp
@@ -255,7 +255,7 @@ namespace storm {
         void BitVector::grow(uint_fast64_t minimumLength, bool init) {
             if (minimumLength > bitCount) {
                 // We double the bitcount as long as it is less then the minimum length.
-                uint_fast64_t newLength = std::max(64ull, bitCount);
+                uint_fast64_t newLength = std::max(static_cast<uint_fast64_t>(64), bitCount);
                 // Note that newLength has to be initialized with a non-zero number.
                 while (newLength < minimumLength) {
                     newLength = newLength << 1;