From af7a1e7902d5ca9699b8d20a9a135a61512bbe82 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 13:04:30 +0000
Subject: [PATCH] Bug fix (non-crucial) in explicit expected total cost.

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

diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index fd010195..64cfa6ed 100644
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@@ -247,7 +247,7 @@ public class DTMCModelChecker extends ProbModelChecker
 			for (int i = bscc.nextSetBit(0); i >= 0; i = bscc.nextSetBit(i + 1)) {
 				if (mcRewards.getStateReward(i) > 0) {
 					bsccsNonZero.or(bscc);
-					continue;
+					break;
 				}
 			}
 		}