changeset 51606 | 2843cc095a57 |
parent 51605 | eca8acb42e4a |
child 51662 | 3391a493f39a |
--- a/src/Pure/Isar/proof.ML Wed Apr 03 21:30:32 2013 +0200 +++ b/src/Pure/Isar/proof.ML Wed Apr 03 21:48:43 2013 +0200 @@ -1163,7 +1163,7 @@ state |> future_proof (fn state' => Goal.fork_params {name = "Proof.future_terminal_proof", pos = Position.thread_data (), pri = ~1} - (fn () => ((), proof2 state'))) |> snd |> done + (fn () => ((), Timing.status proof2 state'))) |> snd |> done else proof1 state; in