Silly bug fix for R[I] and R[C] on DTMCs in explicit engine.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6795 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 8e9916b89f
1 changed files with 0 additions and 2 deletions
--- a/prism/src/explicit/DTMCModelChecker.java
+++ b/prism/src/explicit/DTMCModelChecker.java
@ -308,7 +308,6 @@ public class DTMCModelChecker extends ProbModelChecker
 			tmpsoln = soln;
 			soln = soln2;
 			soln2 = tmpsoln;
-			iters++;
 		}

 		// Finished backwards transient computation
@ -356,7 +355,6 @@ public class DTMCModelChecker extends ProbModelChecker
 			tmpsoln = soln;
 			soln = soln2;
 			soln2 = tmpsoln;
-			iters++;
 		}

 		// Finished backwards transient computation