src/Tools/jEdit/src/simplifier_trace_window.scala
changeset 57031 30ee1453a954
parent 57004 c8288ce9676a
child 57042 5576d22abf3c
--- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue May 20 22:48:15 2014 +0200
+++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Wed May 21 10:13:12 2014 +0200
@@ -144,8 +144,6 @@
     layout(Component.wrap(pretty_text_area)) = BorderPanel.Position.Center
   }
 
-  trace.entries.foreach(System.err.println)
-
   private val tree = trace.entries.headOption match {
     case Some(first) =>
       val tree = new Simplifier_Trace_Window.Root_Tree(first.parent)