diff --git a/prism/src/explicit/MDPModelChecker.java b/prism/src/explicit/MDPModelChecker.java
index 541c2be0..d7eefa47 100644
--- a/prism/src/explicit/MDPModelChecker.java
+++ b/prism/src/explicit/MDPModelChecker.java
@@ -633,7 +633,6 @@ public class MDPModelChecker extends ProbModelChecker
 			soln.clear();
 			soln.or(target);
 			while (!v_done) {
-				mainLog.print(strat);
 				mdp.prob1Estep(unknown, u, v, soln, strat);
 				v_done = soln.equals(v);
 				v.clear();