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

@@ -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;
 			}