src/Pure/Thy/thy_info.ML

 fun present_theory (Exn.Exn exn) = [Exn.Exn exn]
   | present_theory (Exn.Res (Result {theory, present, ...})) =
       (case present () of
         NONE => []
       | SOME (context as {segments, ...}) =>
-          [Exn.capture (fn () => (apply_presentation context theory; (theory, segments))) ()]);
+          [Exn.capture_body (fn () => (apply_presentation context theory; (theory, segments)))]);
 
 in
 
 val schedule_theories = Thread_Attributes.uninterruptible (fn _ => fn tasks =>
   let

               (singleton o Future.forks)
                 {name = "theory:" ^ name, group = NONE,
                   deps = map (Future.task_of o #2) deps, pri = 0, interrupts = true}
                 (fn () => body (join_parents deps name parents))
             else
-              Future.value_result (Exn.capture (fn () => body (join_parents deps name parents)) ())
+              Future.value_result (Exn.capture_body (fn () => body (join_parents deps name parents)))
         | Finished theory => Future.value (theory_result theory)));
 
     val results1 = futures |> maps (consolidate_theory o Future.join_result);
 
     val present_results = futures |> maps (present_theory o Future.join_result);
     val results2 = (map o Exn.map_res) (K ()) present_results;
 
     val results3 = futures
-      |> map (fn future => Exn.capture (fn () => result_commit (Future.join future) ()) ());
+      |> map (fn future => Exn.capture_body (fn () => result_commit (Future.join future) ()));
 
     val results4 = map Exn.Exn (maps Task_Queue.group_status (Execution.reset ()));
 
     val _ = Par_Exn.release_all (results1 @ results2 @ results3 @ results4);
   in Par_Exn.release_all present_results end);