1.1 --- a/src/Pure/Isar/proof.ML	Tue Feb 19 17:02:52 2013 +0100
     1.2 +++ b/src/Pure/Isar/proof.ML	Tue Feb 19 17:55:26 2013 +0100
     1.3 @@ -1188,7 +1188,7 @@
     1.4      andalso not (is_relevant state)
     1.5    then
     1.6      snd (proof2 (fn state' =>
     1.7 -      Goal.fork_name "Proof.future_terminal_proof" (fn () => ((), proof1 meths state'))) state)
     1.8 +      Goal.fork_name "Proof.future_terminal_proof" ~1 (fn () => ((), proof1 meths state'))) state)
     1.9    else proof1 meths state;
    1.10  
    1.11  in