diff -r 96b3d13606b1 -r a094bf81a496 src/Pure/System/command_line.ML
--- a/src/Pure/System/command_line.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/System/command_line.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -12,12 +12,12 @@
 structure Command_Line: COMMAND_LINE =
 struct
 
-fun tool body =
+fun tool main =
   Thread_Attributes.uninterruptible_body (fn run =>
     let
       fun print_failure exn = (Runtime.exn_error_message exn; Exn.failure_rc exn);
       val rc =
-        (case Exn.capture (run body) () of
+        (case Exn.capture_body (run main) of
           Exn.Res () => 0
         | Exn.Exn exn =>
             (case Exn.capture print_failure exn of