1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Jun 22 21:27:20 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Jun 22 21:35:48 2011 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4    /* demo constructor */
     1.5  
     1.6    def this(args: String*) =
     1.7 -    this(new Isabelle_System, Time.seconds(10),
     1.8 +    this(Isabelle_System.default, Time.seconds(10),
     1.9        actor { loop { react { case res => Console.println(res) } } }, args: _*)
    1.10  
    1.11