src/Pure/Concurrent/thread_attributes.ML

--- a/src/Pure/Concurrent/thread_attributes.ML	Mon Sep 25 21:58:58 2023 +0200
+++ b/src/Pure/Concurrent/thread_attributes.ML	Tue Sep 26 12:30:08 2023 +0200
@@ -95,7 +95,7 @@
     if atts1 = atts2 then e atts1
     else
       let
-        val result = Exn.capture (fn () => (set_attributes atts2; e atts1)) ();
+        val result = Exn.capture0 (fn () => (set_attributes atts2; e atts1)) ();
         val _ = set_attributes atts1;
       in Exn.release result end
   end;