Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Concurrent/consumer_thread.scala
changeset 56782 433cf57550fa
parent 56718 096139bcfadd
child 57417 29fe9bac501b 
--- a/src/Pure/Concurrent/consumer_thread.scala	Tue Apr 29 13:29:05 2014 +0200
+++ b/src/Pure/Concurrent/consumer_thread.scala	Tue Apr 29 13:32:13 2014 +0200
@@ -36,7 +36,7 @@
   def is_active: Boolean = active && thread.isAlive
 
   private def failure(exn: Throwable): Unit =
-    System.err.println(
+    Output.error_message(
       "Consumer thread failure: " + quote(thread.getName) + "\n" + Exn.message(exn))
 
   private def robust_finish(): Unit =
isabelle