tuned;

--- a/src/Pure/System/isabelle_system.ML	Tue Sep 26 14:42:33 2023 +0200
+++ b/src/Pure/System/isabelle_system.ML	Tue Sep 26 15:03:02 2023 +0200
@@ -149,7 +149,7 @@
 
 fun rm_tree path = scala_function "rm_tree" [path];
 
-fun with_tmp_dir name f = Thread_Attributes.uninterruptible_body (fn run =>
+fun with_tmp_dir name = Thread_Attributes.uninterruptible (fn run => fn f =>
   let
     val path = create_tmp_path name "";
     val _ = make_directory path;