From 9d35eab33e06acc7e2dfcc394dacc00066123fb3 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Fri, 29 May 2020 23:16:29 -0700
Subject: [PATCH] fix warning regarding hash

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

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<typename ValueType, typename RewardModelType>