diff --git a/prism/src/explicit/DTMCModelChecker.java b/prism/src/explicit/DTMCModelChecker.java
index f9e0f416..04117d72 100644
--- 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