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>