# HG changeset patch
# User Lars Hupel <lars.hupel@mytum.de>
# Date 1393497692 -3600
# Node ID a421f1ccfc9f9d32a488d1312144ba1228cd014f
# Parent  f2cf7f92c9ac537d36f9cf18be6867799501a8ca
removed bogus "error" message (it appeared during regular mode of operation)

diff -r f2cf7f92c9ac -r a421f1ccfc9f src/Pure/Tools/simplifier_trace.scala
--- a/src/Pure/Tools/simplifier_trace.scala	Wed Feb 26 23:09:29 2014 +0100
+++ b/src/Pure/Tools/simplifier_trace.scala	Thu Feb 27 11:41:32 2014 +0100
@@ -263,7 +263,6 @@
             case Some((id, _)) =>
               do_cancel(serial, id)
             case None =>
-              System.err.println("handle_cancel: unknown serial " + serial)
           }
 
         case Clear_Memory =>