src/Pure/Concurrent/timeout.ML

--- a/src/Pure/Concurrent/timeout.ML	Thu Sep 21 18:17:26 2023 +0200
+++ b/src/Pure/Concurrent/timeout.ML	Thu Sep 21 23:45:03 2023 +0200
@@ -40,7 +40,7 @@
 
         val request =
           Event_Timer.request {physical = physical} (start + scale_time timeout)
-            (fn () => Isabelle_Thread.interrupt_unsynchronized self);
+            (fn () => Isabelle_Thread.interrupt_other self);
         val result =
           Exn.capture (fn () => Thread_Attributes.with_attributes orig_atts (fn _ => f x)) ();