From 0156b1276485e7acf60a74c25cc89a070b2ab6a3 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 19 Feb 2016 17:36:35 +0100
Subject: [PATCH] Fixed compile problem under gcc

Former-commit-id: f5d40795e99f9d40698b8787f2409f6735a1c2f8
---
 src/builder/ExplicitDFTModelBuilder.h | 4 ++--
 src/storage/BitVectorHashMap.cpp      | 1 -
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/builder/ExplicitDFTModelBuilder.h b/src/builder/ExplicitDFTModelBuilder.h
index 522f2375c..a64efaddd 100644
--- a/src/builder/ExplicitDFTModelBuilder.h
+++ b/src/builder/ExplicitDFTModelBuilder.h
@@ -50,7 +50,7 @@ namespace storm {
             
             storm::storage::DFT<ValueType> const& mDft;
             std::shared_ptr<storm::storage::DFTStateGenerationInfo> mStateGenerationInfo;
-            storm::storage::BitVectorHashMap<size_t> mStates;
+            storm::storage::BitVectorHashMap<uint32_t> mStates;
             size_t newIndex = 0;
 
         public:
@@ -71,4 +71,4 @@ namespace storm {
     }
 }
 
-#endif	/* EXPLICITDFTMODELBUILDER_H */
\ No newline at end of file
+#endif	/* EXPLICITDFTMODELBUILDER_H */
diff --git a/src/storage/BitVectorHashMap.cpp b/src/storage/BitVectorHashMap.cpp
index 4d6238350..9237dfde3 100644
--- a/src/storage/BitVectorHashMap.cpp
+++ b/src/storage/BitVectorHashMap.cpp
@@ -240,6 +240,5 @@ namespace storm {
         
         template class BitVectorHashMap<uint_fast64_t>;
         template class BitVectorHashMap<uint32_t>;
-        template class BitVectorHashMap<size_t>;
     }
 }