Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 11 Oct 2023 11:37:18 +0200
changeset 78758 05da36bc806f
parent 78757 a094bf81a496
child 78759 461e924cc825
tuned;
src/Pure/System/isabelle_process.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_process.ML	Wed Oct 11 11:27:01 2023 +0200
+++ b/src/Pure/System/isabelle_process.ML	Wed Oct 11 11:37:18 2023 +0200
@@ -175,7 +175,7 @@
       ml_statistics ();
       protocol_loop ());
 
-    val result = Exn.capture (message_context protocol) ();
+    val result = Exn.capture_body (message_context protocol);
 
 
     (* shutdown *)
isabelle