From 98e3567cd6fc9d54f8d2ad6c9b99269e122b5f7d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 9 Jul 2013 22:59:16 +0000
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/strat/MDStrategy.java b/prism/src/strat/MDStrategy.java
index 96c0ca76..161bce3d 100644
--- a/prism/src/strat/MDStrategy.java
+++ b/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));
 		}
 	}
 }