From 22b6e4f5bac9cf0cc5a4a8c1cd680e05fb1a0dd4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 12 Jun 2013 17:45:49 +0000
Subject: [PATCH] Bug fix in previous commit.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6913 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/MDPModelChecker.java | 1 -
 1 file changed, 1 deletion(-)

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