src/Tools/jEdit/src/simplifier_trace_window.scala
changeset 56782 433cf57550fa
parent 56770 e160ae47db94
child 57004 c8288ce9676a
     1.1 --- a/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Apr 29 13:29:05 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/simplifier_trace_window.scala	Tue Apr 29 13:32:13 2014 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4              {
     1.5                parent.parent match {
     1.6                  case None =>
     1.7 -                  System.err.println("Simplifier_Trace_Window: malformed ignore message with parent " + head.parent)
     1.8 +                  Output.error_message("Simplifier_Trace_Window: malformed ignore message with parent " + head.parent)
     1.9                  case Some(tree) =>
    1.10                    tree.children -= head.parent
    1.11                    walk_trace(tail, lookup) // FIXME discard from lookup
    1.12 @@ -140,7 +140,7 @@
    1.13              }
    1.14  
    1.15            case None =>
    1.16 -            System.err.println("Simplifier_Trace_Window: unknown parent " + head.parent)
    1.17 +            Output.error_message("Simplifier_Trace_Window: unknown parent " + head.parent)
    1.18          }
    1.19      }
    1.20