From 571e157eeff40f3a5098a4e7b30a8699f12a80b8 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 27 Jun 2018 15:48:15 +0200
Subject: [PATCH] added missing return statement

---
 .../deterministicScheds/DetSchedsWeightVectorChecker.cpp        | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
index 0e0ddf2b4..4beb37fb7 100644
--- a/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
+++ b/src/storm/modelchecker/multiobjective/deterministicScheds/DetSchedsWeightVectorChecker.cpp
@@ -66,7 +66,7 @@ namespace storm {
                         }
                     }
                 } while (!schedulerEvaluator->hasCurrentSchedulerBeenChecked());
-                
+                return resultStack;
             }
             
             template <typename ModelType>