src/Pure/Concurrent/task_queue.ML

--- a/src/Pure/Concurrent/task_queue.ML	Wed Oct 11 11:07:00 2023 +0200
+++ b/src/Pure/Concurrent/task_queue.ML	Wed Oct 11 11:27:01 2023 +0200
@@ -159,7 +159,7 @@
   Thread_Attributes.uninterruptible_body (fn run =>
     let
       val start = Time.now ();
-      val result = Exn.capture (run e) ();
+      val result = Exn.capture_body (run e);
       val t = Time.now () - start;
       val _ = (case timing of NONE => () | SOME var => Synchronized.change var (update t));
     in Exn.release result end);