# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1400659992 -7200
# Node ID 30ee1453a9540184ff95945c176c59ec8b66ee77
# Parent  b592202a45cc3836b14ed8dafa9314b89dfddb00
remove stray println;

diff -r b592202a45cc -r 30ee1453a954 src/Tools/jEdit/src/simplifier_trace_window.scala
--- 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)