changeset 39528 | c01d89d18ff0 |
parent 39525 | 72e949a0425b |
child 39572 | bb3469024b6a |
--- a/src/Pure/System/session.scala Sun Sep 19 22:20:48 2010 +0200 +++ b/src/Pure/System/session.scala Sun Sep 19 22:40:22 2010 +0200 @@ -270,7 +270,7 @@ case Started(timeout, args) => if (prover == null) { - prover = new Isabelle_Process(system, self, args:_*) with Isar_Document + prover = new Isabelle_Process(system, timeout, self, args:_*) with Isar_Document val origin = sender val opt_err = prover_startup(timeout) if (opt_err.isDefined) prover = null