From cf1c9948f0b22cd389eb301b5bf70135041a5481 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 3 Jul 2008 15:20:48 +0000
Subject: [PATCH] Removed debugging output.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@801 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Explicit2MTBDD.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/prism/Explicit2MTBDD.java b/prism/src/prism/Explicit2MTBDD.java
index 226f33b9..40076475 100644
--- a/prism/src/prism/Explicit2MTBDD.java
+++ b/prism/src/prism/Explicit2MTBDD.java
@@ -807,7 +807,6 @@ public class Explicit2MTBDD
 						if (ss[i].trim().equals("0")) {
 							count++;
 							r = Integer.parseInt(s1);
-							System.out.println("XXX" + r);
 							// set element in init states bdd
 							// case where we don't have a state list...
 							if (statesFile == null) {