src/Pure/Concurrent/thread_data.ML

--- a/src/Pure/Concurrent/thread_data.ML	Tue Sep 26 14:29:55 2023 +0200
+++ b/src/Pure/Concurrent/thread_data.ML	Tue Sep 26 14:42:33 2023 +0200
@@ -30,13 +30,13 @@
 fun put (Var tag) data = Thread.Thread.setLocal (tag, data);
 
 fun setmp v data f x =
-  Thread_Attributes.uninterruptible (fn run => fn () =>
+  Thread_Attributes.uninterruptible_body (fn run =>
     let
       val orig_data = get v;
       val _ = put v data;
       val result = Exn.capture0 (run f) x;
       val _ = put v orig_data;
-    in Exn.release result end) ();
+    in Exn.release result end);
 
 end;