--- 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;