changeset 41703 | d27950860514 |
parent 41674 | 7da257539a8d |
child 42012 | 2c3fe3cbebae |
--- a/src/Pure/Isar/toplevel.ML Fri Feb 04 16:33:12 2011 +0100 +++ b/src/Pure/Isar/toplevel.ML Fri Feb 04 17:11:00 2011 +0100 @@ -663,8 +663,7 @@ val future_proof = Proof.global_future_proof (fn prf => - singleton - (Future.forks {name = "Toplevel.proof_result", group = NONE, deps = [], pri = ~1}) + Goal.fork_name "Toplevel.future_proof" (fn () => let val (states, result_state) = (case st' of State (SOME (Proof (_, (_, orig_gthy))), prev)