diff -r 89038d9ef77d -r 909dc00766a0 src/Pure/ML/exn_debugger.ML
--- a/src/Pure/ML/exn_debugger.ML	Tue Sep 26 14:29:55 2023 +0200
+++ b/src/Pure/ML/exn_debugger.ML	Tue Sep 26 14:42:33 2023 +0200
@@ -42,7 +42,7 @@
 in
 
 fun capture_exception_trace e =
-  Thread_Attributes.uninterruptible (fn run => fn () =>
+  Thread_Attributes.uninterruptible_body (fn run =>
     let
       val _ = start_trace ();
       val result = Exn.result (run e) ();
@@ -54,7 +54,7 @@
             trace
             |> map_filter (fn (entry, e) => if eq_exn (exn, e) then SOME entry else NONE)
             |> rev);
-    in (trace', result) end) ();
+    in (trace', result) end);
 
 end;