changeset 72375 | e48d93811ed7 |
parent 72235 | a5bf0b69c22a |
child 72690 | 53064415757a |
--- a/src/Pure/Tools/dump.scala Sat Oct 03 23:01:40 2020 +0100 +++ b/src/Pure/Tools/dump.scala Mon Oct 05 21:15:58 2020 +0200 @@ -24,7 +24,7 @@ def write_path(file_name: Path): Path = { val path = output_dir + Path.basic(snapshot.node_name.theory) + file_name - Isabelle_System.mkdirs(path.dir) + Isabelle_System.make_directory(path.dir) path }