From a653cd6239d0b70996af277740240f8cff2cb720 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 30 Apr 2010 14:01:44 +0000
Subject: [PATCH] Removal of debug output.

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

diff --git a/prism/src/parser/visitor/FindAllVars.java b/prism/src/parser/visitor/FindAllVars.java
index 00af7b35..54064745 100644
--- a/prism/src/parser/visitor/FindAllVars.java
+++ b/prism/src/parser/visitor/FindAllVars.java
@@ -61,7 +61,6 @@ public class FindAllVars extends ASTTraverseModify
 				throw new PrismLangException(s, e.getVarIdent(i));
 			}
 			// Store the type
-			System.out.println("Setting "+i+" of " +e+ " to "+varTypes.elementAt(j));
 			e.setType(i, varTypes.elementAt(j));
 			// And store the variable index
 			e.setVarIndex(i, j);