diff -r 96b3d13606b1 -r a094bf81a496 src/Pure/Tools/build.ML
--- a/src/Pure/Tools/build.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/Tools/build.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -91,7 +91,7 @@
                   Exn.Res loaded_theories =>
                     Exn.capture (apply_hooks session_name) (flat loaded_theories)
                 | Exn.Exn exn => Exn.Exn exn);
-              val res2 = Exn.capture Session.finish ();
+              val res2 = Exn.capture_body Session.finish;
 
               val _ = Resources.finish_session_base ();
               val _ = Par_Exn.release_all [res1, res2];
@@ -107,7 +107,7 @@
             else e ();
         in
           exec (fn () =>
-            (case Exn.capture (Future.interruptible_task build) () of
+            (case Exn.capture_body (Future.interruptible_task build) of
               Exn.Res () => (0, [])
             | Exn.Exn exn =>
                 (case Exn.capture Runtime.exn_message_list exn of