Bugfix: for CSL U>=0 properties.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@20 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/StochModelChecker.java

@@ -1236,7 +1236,7 @@ public class StochModelChecker implements ModelChecker
 					mainLog.print("\nDiagonals vector: ");JDD.PrintInfo(diags, allDDRowVars.n());
 					mainLog.print("Embedded Markov chain: ");JDD.PrintInfo(emb, allDDRowVars.n()*2);
 					// compute probs
-					probs = computeUntilProbs(emb, trans01, b1, b1);
+					probs = computeUntilProbs(emb, trans01, b1, b2);
 					JDD.Deref(diags);
 					JDD.Deref(emb);
 				}