From c91033ebb178abd08b83a7e50ca58737bced10a0 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 3 Apr 2019 17:26:32 +0200
Subject: [PATCH] Fixed bitshift for DFT isomorphism

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

diff --git a/src/storm-dft/storage/dft/DFTIsomorphism.h b/src/storm-dft/storage/dft/DFTIsomorphism.h
index ab823b00a..24a7e4252 100644
--- a/src/storm-dft/storage/dft/DFTIsomorphism.h
+++ b/src/storm-dft/storage/dft/DFTIsomorphism.h
@@ -14,7 +14,7 @@ namespace storage {
 
     struct GateGroupToHash {
         static constexpr uint_fast64_t fivebitmask = (1 << 6) - 1;
-        static constexpr uint_fast64_t eightbitmask = (1 << 8) - 1;
+        static constexpr uint_fast64_t eightbitmask = (1 << 9) - 1;
 
         /**
          * Hash function, which ensures that the colours are sorted according to their rank.