src/Pure/Isar/toplevel.ML
changeset 41674 7da257539a8d
parent 41673 1c191a39549f
child 41703 d27950860514
     1.1 --- a/src/Pure/Isar/toplevel.ML	Mon Jan 31 22:57:01 2011 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Mon Jan 31 23:02:53 2011 +0100
     1.3 @@ -664,7 +664,7 @@
     1.4          val future_proof = Proof.global_future_proof
     1.5            (fn prf =>
     1.6              singleton
     1.7 -              (Future.bulk {name = "Toplevel.proof_result", group = NONE, deps = [], pri = ~1})
     1.8 +              (Future.forks {name = "Toplevel.proof_result", group = NONE, deps = [], pri = ~1})
     1.9                (fn () =>
    1.10                  let val (states, result_state) =
    1.11                    (case st' of State (SOME (Proof (_, (_, orig_gthy))), prev)