--- a/src/Pure/Isar/proof.ML Sun Aug 25 17:17:48 2013 +0200
+++ b/src/Pure/Isar/proof.ML Sun Aug 25 20:32:26 2013 +0200
@@ -1170,7 +1170,7 @@
val pos = Position.thread_data ();
val props = Markup.command_timing :: (Markup.nameN, "by") :: Position.properties_of pos;
in
- Goal.fork_params {name = "Proof.future_terminal_proof", pos = pos, pri = ~1}
+ Execution.fork {name = "Proof.future_terminal_proof", pos = pos, pri = ~1}
(fn () => ((), Timing.protocol props proof2 state'))
end) |> snd |> done
else proof1 state;