From 0d4f931b12cd2e194b2f3fd2258bdec36b070acf Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 5 May 2008 08:28:29 +0000
Subject: [PATCH] Bug fix in BSCC display.

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

diff --git a/prism/src/prism/SCCComputerXB.java b/prism/src/prism/SCCComputerXB.java
index bfd0b912..aa504d42 100644
--- a/prism/src/prism/SCCComputerXB.java
+++ b/prism/src/prism/SCCComputerXB.java
@@ -121,7 +121,7 @@ public class SCCComputerXB implements SCCComputer
 		mainLog.print(" BSCCs: " + vectBSCCs.size());
 		mainLog.println(" Transient states: " + JDD.GetNumMintermsString(notInBSCCs, allDDRowVars.n()));
 		mainLog.print("BSCC sizes:");
-		for (i = 0; i < n; i++) {
+		for (i = 0; i < vectBSCCs.size(); i++) {
 			mainLog.print(" " + (i+1) + ": " + JDD.GetNumMintermsString(vectBSCCs.elementAt(i), allDDRowVars.n()));
 		}
 		mainLog.println();