# HG changeset patch
# User wenzelm
# Date 1697017038 -7200
# Node ID 05da36bc806f6b8dffa3b71e444172a55ca71b0f
# Parent  a094bf81a4962dbcd87af04406fec588080ae09c
tuned;

diff -r a094bf81a496 -r 05da36bc806f src/Pure/System/isabelle_process.ML
--- 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 *)