# HG changeset patch
# User wenzelm
# Date 1695733382 -7200
# Node ID 1f5f712fc2fcd3b4dde999b08f30c66ae7d1254d
# Parent  909dc00766a011b4a6f9325b6145e5fd09ad3f4e
tuned;

diff -r 909dc00766a0 -r 1f5f712fc2fc src/Pure/System/isabelle_system.ML
--- 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;