# HG changeset patch
# User wenzelm
# Date 1697015194 -7200
# Node ID 42e48ad59cda987ee896622253b3ea95b44108a9
# Parent  5838285a824578666af271b9f488342191944e9e
more robust: avoid race condition;

diff -r 5838285a8245 -r 42e48ad59cda src/Pure/Concurrent/isabelle_thread.ML
--- a/src/Pure/Concurrent/isabelle_thread.ML	Wed Oct 11 10:48:42 2023 +0200
+++ b/src/Pure/Concurrent/isabelle_thread.ML	Wed Oct 11 11:06:34 2023 +0200
@@ -153,8 +153,10 @@
 fun expose_interrupt_result () =
   let
     val orig_atts = Thread_Attributes.safe_interrupts (Thread_Attributes.get_attributes ());
-    val _ = Thread_Attributes.set_attributes Thread_Attributes.test_interrupts;
-    val test = Exn.capture Thread.Thread.testInterrupt ();
+    fun main () =
+      (Thread_Attributes.set_attributes Thread_Attributes.test_interrupts;
+       Thread.Thread.testInterrupt ());
+    val test = Exn.capture main ();
     val _ = Thread_Attributes.set_attributes orig_atts;
   in test end;