src/Tools/cache_io.ML

--- a/src/Tools/cache_io.ML	Sat Nov 27 14:32:08 2010 +0100
+++ b/src/Tools/cache_io.ML	Sat Nov 27 15:28:00 2010 +0100
@@ -44,9 +44,9 @@
 fun with_tmp_dir name f =
   let
     val path = File.tmp_path (Path.explode (name ^ serial_string ()))
-    val _ = File.mkdir path
+    val _ = Isabelle_System.mkdirs path
     val x = Exn.capture f path
-    val _ = try File.rm_tree path
+    val _ = try Isabelle_System.rm_tree path
   in Exn.release x end
 
 type result = {