diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java
index 4ac11c3c..8f9d9ea7 100644
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@@ -429,7 +429,6 @@ public class MDPModelChecker extends ProbModelChecker
 		} else {
 			res = new ModelCheckerResult();
 			res.soln = Utils.bitsetToDoubleArray(yes, n);
-			return res;
 		}
 
 		// Finished probabilistic reachability