Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/command_line.ML
changeset 78757 a094bf81a496
parent 78725 3c02ad5a1586 
--- 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
isabelle