author | wenzelm |
Mon, 29 Dec 2008 16:45:00 +0100 | |
changeset 29196 | de62fdd4b432 |
parent 29195 | ea51797fa416 |
child 29199 | 69b806be5a0a |
child 29200 | 787ba47201c7 |
--- 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 */