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/isabelle_system.ML
changeset 78757 a094bf81a496
parent 78725 3c02ad5a1586
child 78787 a7e4b412cc7c 
--- a/src/Pure/System/isabelle_system.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/System/isabelle_system.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -89,7 +89,7 @@
                else err ()
           | _ => err ())
         and loop maybe_uuid s =
-          (case Exn.capture (fn () => loop_body s) () of
+          (case Exn.capture_body (fn () => loop_body s) of
             Exn.Res res => res
           | Exn.Exn exn => (kill maybe_uuid; Exn.reraise exn));
       in
isabelle