1.1 --- a/src/Pure/System/session.scala	Sun Sep 19 22:20:48 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sun Sep 19 22:40:22 2010 +0200
     1.3 @@ -270,7 +270,7 @@
     1.4  
     1.5          case Started(timeout, args) =>
     1.6            if (prover == null) {
     1.7 -            prover = new Isabelle_Process(system, self, args:_*) with Isar_Document
     1.8 +            prover = new Isabelle_Process(system, timeout, self, args:_*) with Isar_Document
     1.9              val origin = sender
    1.10              val opt_err = prover_startup(timeout)
    1.11              if (opt_err.isDefined) prover = null