src/Pure/Concurrent/single_assignment.ML

--- a/src/Pure/Concurrent/single_assignment.ML	Tue Sep 26 14:29:55 2023 +0200
+++ b/src/Pure/Concurrent/single_assignment.ML	Tue Sep 26 14:42:33 2023 +0200
@@ -61,9 +61,9 @@
         (case ! state of
           Set _ => assign_fail name
         | Unset _ =>
-            Thread_Attributes.uninterruptible (fn _ => fn () =>
+            Thread_Attributes.uninterruptible_body (fn _ =>
              (state := Set x; RunCall.clearMutableBit state;
-               Thread.ConditionVar.broadcast cond)) ())));
+               Thread.ConditionVar.broadcast cond)))));
 
 end;