Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_system.scala
changeset 73945 e61add9d5b5e
parent 73911 a8c5ee444991
child 73987 fc363a3b690a 
--- a/src/Pure/System/isabelle_system.scala	Thu Jul 08 13:16:31 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Thu Jul 08 13:34:12 2021 +0200
@@ -153,7 +153,7 @@
   def make_directory(path: Path): Path =
   {
     if (!path.is_dir) {
-      try { Files.createDirectories(path.file.toPath) }
+      try { Files.createDirectories(path.java_path) }
       catch { case ERROR(_) => error("Failed to create directory: " + path.absolute) }
     }
     path
isabelle