From 009a60df5c97a78f63b9b12fa8828c6bdb98b79d Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Wed, 27 May 2020 12:58:59 -0700
Subject: [PATCH] fix in hash computation

---
 src/storm/models/sparse/Model.cpp | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/storm/models/sparse/Model.cpp b/src/storm/models/sparse/Model.cpp
index 00d5d404d..dc64b2817 100644
--- a/src/storm/models/sparse/Model.cpp
+++ b/src/storm/models/sparse/Model.cpp
@@ -301,12 +301,6 @@ namespace storm {
 
             template<typename ValueType, typename RewardModelType>
             std::size_t Model<ValueType, RewardModelType>::hash() const {
-
-                // if set, retrieves for each state the variable valuation that this state represents
-                boost::optional<storm::storage::sparse::StateValuations> stateValuations;
-
-                // if set, gives information about where each choice originates w.r.t. the input model description
-                boost::optional<std::shared_ptr<storm::storage::sparse::ChoiceOrigins>> choiceOrigins;
                 std::size_t seed = 0;
                 boost::hash_combine(seed,transitionMatrix.hash());
                 boost::hash_combine(seed,stateLabeling.hash());