From fe5d031751a1d97cf286cffce0f72bbd8075ce58 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 21 Jul 2017 13:42:48 +0000
Subject: [PATCH] SCCTarjan: use SuccessorsIterator

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

diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index 4b8c105e..193bdb1b 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -29,7 +29,6 @@ package explicit;
 
 import java.util.ArrayList;
 import java.util.BitSet;
-import java.util.Iterator;
 import java.util.LinkedList;
 import java.util.List;
 
@@ -167,9 +166,9 @@ public class SCCComputerTarjan extends SCCComputer
 		index++;
 		stack.add(0, i);
 		onStack.set(i);
-		Iterator<Integer> it = model.getSuccessorsIterator(i);
+		SuccessorsIterator it = model.getSuccessors(i);
 		while (it.hasNext()) {
-			int e = it.next();
+			int e = it.nextInt();
 			Node n = nodeList.get(e);
 			if (n.index == -1) {
 				tarjan(e);