Remove debug output.

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

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();