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 std::size_t Model::hash() const { - - // if set, retrieves for each state the variable valuation that this state represents - boost::optional stateValuations; - - // if set, gives information about where each choice originates w.r.t. the input model description - boost::optional> choiceOrigins; std::size_t seed = 0; boost::hash_combine(seed,transitionMatrix.hash()); boost::hash_combine(seed,stateLabeling.hash());