src/Pure/Concurrent/timeout.ML

--- a/src/Pure/Concurrent/timeout.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/Concurrent/timeout.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -42,7 +42,7 @@
           Event_Timer.request {physical = physical} (start + scale_time timeout)
             (fn () => Isabelle_Thread.interrupt_other self);
         val result =
-          Exn.capture (fn () => Thread_Attributes.with_attributes orig_atts (fn _ => f x)) ();
+          Exn.capture_body (fn () => Thread_Attributes.with_attributes orig_atts (fn _ => f x));
 
         val stop = Time.now ();
         val was_timeout = not (Event_Timer.cancel request);