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
11 years ago · 6594babe09
1 changed files with 1 additions and 1 deletions
--- 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;
 					}
 			}