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;