From 982825694c270bec64e44ffeedbba1fc0040b60a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 11 May 2007 17:11:24 +0000
Subject: [PATCH] Removed debug output from MathML2Prism.

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

diff --git a/prism/src/prism/MathML2Prism.java b/prism/src/prism/MathML2Prism.java
index b444e5b5..d0a3f6e2 100644
--- a/prism/src/prism/MathML2Prism.java
+++ b/prism/src/prism/MathML2Prism.java
@@ -79,11 +79,8 @@ public class MathML2Prism
 			
 			// Identifier
 			else if (nodeName.equals("ci")) {
-				System.err.println(renameFrom);
-				System.err.println(renameTo);
 				s = node.getFirstChild().getNodeValue().trim();
 				if (renameFrom != null) if (renameFrom.contains(s)) s = (String)renameTo.get(renameFrom.indexOf(s));
-				System.err.println(s);
 				return s;
 			}