src/Pure/Concurrent/timeout.ML

--- a/src/Pure/Concurrent/timeout.ML	Mon Sep 04 21:03:13 2023 +0200
+++ b/src/Pure/Concurrent/timeout.ML	Wed Sep 06 14:09:27 2023 +0200
@@ -35,7 +35,7 @@
   else
     Thread_Attributes.with_attributes Thread_Attributes.no_interrupts (fn orig_atts =>
       let
-        val self = Thread.self ();
+        val self = Isabelle_Thread.self ();
         val start = Time.now ();
 
         val request =