From ab3db9e38b9ac751d809bee2124f507f65f65f4f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 30 Jul 2013 07:25:01 +0000
Subject: [PATCH] Small bug fix in explicit EC computation.

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

diff --git a/prism/src/explicit/ECComputerDefault.java b/prism/src/explicit/ECComputerDefault.java
index c9de1781..54a093cf 100644
--- a/prism/src/explicit/ECComputerDefault.java
+++ b/prism/src/explicit/ECComputerDefault.java
@@ -95,10 +95,12 @@ public class ECComputerDefault extends ECComputer
 	 */
 	private List<BitSet> findEndComponents(BitSet states, BitSet filter) throws PrismException
 	{
-		// Initialise L with set of all states to look in
+		// Initialise L with set of all states to look in (if non-empty)
 		List<BitSet> L = new ArrayList<BitSet>();
+		if (states.cardinality() == 0)
+			return L;
 		L.add(states);
-
+		
 		boolean changed = true;
 		while (changed) {
 			changed = false;