# HG changeset patch
# User wenzelm
# Date 1230565500 -3600
# Node ID de62fdd4b4321da917877f53b3bad008d7ea2f80
# Parent  ea51797fa4161887022121c16691629ea4282ef1
tuned;

diff -r ea51797fa416 -r de62fdd4b432 src/Pure/Tools/isabelle_process.scala
--- a/src/Pure/Tools/isabelle_process.scala	Mon Dec 29 16:44:49 2008 +0100
+++ b/src/Pure/Tools/isabelle_process.scala	Mon Dec 29 16:45:00 2008 +0100
@@ -88,7 +88,7 @@
   /* demo constructor */
 
   def this(args: String*) =
-    this(new IsabelleSystem, new EventBus[IsabelleProcess.Result] + (Console.println(_)), args: _*)
+    this(new IsabelleSystem, new EventBus[IsabelleProcess.Result] + Console.println, args: _*)
 
 
   /* process information */