From d081fdae7d1ce9a672629c3254e5b4221f6cbcd6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 13 Jun 2013 09:41:52 +0000
Subject: [PATCH] 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 | 1 -
 1 file changed, 1 deletion(-)

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