diff --git a/src/storm/models/sparse/Model.cpp b/src/storm/models/sparse/Model.cpp index dc64b2817..b0137feda 100644 --- a/src/storm/models/sparse/Model.cpp +++ b/src/storm/models/sparse/Model.cpp @@ -316,6 +316,7 @@ namespace storm { if(choiceOrigins) { boost::hash_combine(seed,choiceOrigins.get()->hash()); } + return seed; } template