1.1 --- a/src/Pure/Isar/toplevel.ML	Wed Jan 07 20:27:05 2009 +0100
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Wed Jan 07 20:27:23 2009 +0100
     1.3 @@ -718,7 +718,7 @@
     1.4          val (body_trs, end_tr) = split_last proof_trs;
     1.5          val finish = Context.Theory o ProofContext.theory_of;
     1.6  
     1.7 -        val future_proof = Proof.future_proof
     1.8 +        val future_proof = Proof.global_future_proof
     1.9            (fn prf =>
    1.10              Future.fork_pri ~1 (fn () =>
    1.11                let val (states, State (result_node, _)) =