From 4cc09fbc6cc22cff317d2a2799c46adcb988e4ed Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Jul 2015 16:57:56 +0000
Subject: [PATCH] Bigfix in CTMC model checking, due to recent BSCC code
 reorganisation. [from Joachim Klein]

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

diff --git a/prism/src/explicit/SCCComputerTarjan.java b/prism/src/explicit/SCCComputerTarjan.java
index a68cb5a6..4b8c105e 100644
--- a/prism/src/explicit/SCCComputerTarjan.java
+++ b/prism/src/explicit/SCCComputerTarjan.java
@@ -102,7 +102,7 @@ public class SCCComputerTarjan extends SCCComputer
 	public void computeBSCCs()
 	{
 		computeSCCs();
-		notInBSCCs = new BitSet();
+		notInBSCCs = (BitSet) getNotInSCCs().clone();
 		int n = sccs.size();
 		for (int i = 0; i < n; i++) {
 			BitSet scc = sccs.get(i);