Remove diagnostic output.

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

prism/src/strat/MDStrategy.java

@@ -55,7 +55,7 @@ public abstract class MDStrategy implements Strategy
 	{
 		int n = getNumStates();
 		for (int s = 0; s < n; s++) {
-			out.println(s + ":" + getChoice(s) + "," + getChoiceAction(s));
+			out.println(s + ":" + getChoiceAction(s));
 		}
 	}
 }