From ede671ea3fe61be11008352a6392c85e60394705 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Tue, 18 Sep 2018 15:30:55 +0200
Subject: [PATCH] fixed wrong type mask for arrays...

---
 src/storm/storage/expressions/Type.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/storage/expressions/Type.h b/src/storm/storage/expressions/Type.h
index ed5e60679..58c02f64d 100644
--- a/src/storm/storage/expressions/Type.h
+++ b/src/storm/storage/expressions/Type.h
@@ -241,7 +241,7 @@ namespace storm {
             virtual bool isArrayType() const override;
 
         private:
-            static const uint64_t mask = (1ull << 60);
+            static const uint64_t mask = (1ull << 59);
             
             // The type of the array elements (can again be of type array).
             Type elementType;