diff --git a/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp b/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
index 10e3355f9..eac2e12a8 100644
--- a/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
+++ b/src/storm/modelchecker/csl/SparseMarkovAutomatonCslModelChecker.cpp
@@ -42,6 +42,7 @@ namespace storm {
                 if (requiresSingleInitialState) {
                     *requiresSingleInitialState = true;
                 }
+                return true;
             }
             return false;
         }
diff --git a/src/storm/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp b/src/storm/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
index c4099bb5b..b3bd5ed1c 100644
--- a/src/storm/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
+++ b/src/storm/modelchecker/prctl/HybridMdpPrctlModelChecker.cpp
@@ -46,6 +46,7 @@ namespace storm {
                 if (requiresSingleInitialState) {
                     *requiresSingleInitialState = true;
                 }
+                return true;
             }
             return false;
         }