Fixed compile problem under gcc

Former-commit-id: f5d40795e9

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 */
+#endif	/* EXPLICITDFTMODELBUILDER_H */

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>;
     }
 }