From 5173aab0537f1a7343df62c29cd8bf93777609e6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 24 Jun 2015 18:54:24 +0000
Subject: [PATCH] Bug fix in explicit.SCCComputerTarjan (from Joachim Klein).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10088 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/SCCComputerTarjan.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index 874535bc..a68cb5a6 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -86,12 +86,12 @@ public class SCCComputerTarjan extends SCCComputer
 		tarjan();
 		// Now remove trivial SCCs
 		notInSCCs = new BitSet();
-		for (int i = 0; i < sccs.size(); i++) {
-			BitSet scc = sccs.get(i);
+		for (Iterator<BitSet> it = sccs.iterator(); it.hasNext(); ) {
+			BitSet scc = it.next();
 			if (scc.cardinality() == 1) {
 				int s = scc.nextSetBit(0);
 				if (!model.someSuccessorsInSet(s, scc)) {
-					sccs.remove(i);
+					it.remove(); // remove this SCC from sccs list
 					notInSCCs.set(s);
 				}
 			}