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