src/Pure/Isar/proof.ML
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