From 1915395882a3c0fa694d5539565f8f2800abe612 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 9 Aug 2012 07:11:09 +0000
Subject: [PATCH] Bugfix: small optimisation was never enabled during
 stead-state computation.

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

diff --git a/prism/src/prism/ProbModelChecker.java b/prism/src/prism/ProbModelChecker.java
index 8a886e3a..d8c0cde8 100644
--- a/prism/src/prism/ProbModelChecker.java
+++ b/prism/src/prism/ProbModelChecker.java
@@ -1756,7 +1756,7 @@ public class ProbModelChecker extends NonProbModelChecker
 		StateValues probs = null;
 
 		// work out number of states in 'subset'
-		if (tr.equals(reach)) {
+		if (subset.equals(reach)) {
 			// avoid a call to GetNumMinterms in this simple (and common) case
 			n = model.getNumStates();
 		} else {