src/Pure/ML/exn_debugger.ML

--- a/src/Pure/ML/exn_debugger.ML	Tue Sep 26 12:30:08 2023 +0200
+++ b/src/Pure/ML/exn_debugger.ML	Tue Sep 26 12:46:31 2023 +0200
@@ -42,10 +42,10 @@
 in
 
 fun capture_exception_trace e =
-  Thread_Attributes.uninterruptible (fn restore_attributes => fn () =>
+  Thread_Attributes.uninterruptible (fn run => fn () =>
     let
       val _ = start_trace ();
-      val result = Exn.result (restore_attributes e) ();
+      val result = Exn.result (run e) ();
       val trace = stop_trace ();
       val trace' =
         (case result of