changeset 32074 | c76fd93b3b99 |
parent 31476 | c5d2899b6de9 |
child 32078 | 457f5bcd3d76 |
1.1 --- a/src/Pure/Isar/toplevel.ML Sun Jul 19 17:08:34 2009 +0200 1.2 +++ b/src/Pure/Isar/toplevel.ML Sun Jul 19 18:02:40 2009 +0200 1.3 @@ -652,7 +652,7 @@ 1.4 1.5 val future_proof = Proof.global_future_proof 1.6 (fn prf => 1.7 - Future.fork_pri ~1 (fn () => 1.8 + Future.fork_local ~1 (fn () => 1.9 let val (states, result_state) = 1.10 (case st' of State (SOME (Proof (_, (_, orig_gthy)), exit), prev) 1.11 => State (SOME (Proof (ProofNode.init prf, (finish, orig_gthy)), exit), prev))