From 6594babe095b82e14c1de05222c00d4c4d87fe19 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Aug 2014 21:24:38 +0000
Subject: [PATCH] Another LTL-to-automaton bugfix from Joachim Klein
 (fix-bdfs.patch).

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

diff --git a/prism/src/jltl2ba/Buchi.java b/prism/src/jltl2ba/Buchi.java
index 061100eb..15f6d196 100644
--- a/prism/src/jltl2ba/Buchi.java
+++ b/prism/src/jltl2ba/Buchi.java
@@ -454,7 +454,7 @@ public class Buchi {
 			} else {
 				for (c = scc_stack.nxt; c != null; c = c.nxt)
 					if (c.bstate == t.to) {
-						scc.theta = scc.theta < rank ? scc.theta : c.rank;
+						scc.theta = scc.theta < c.rank ? scc.theta : c.rank;
 						break;
 					}
 			}