Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned whitespace;
authorwenzelm
Sun, 11 Dec 2022 13:54:16 +0100
changeset 76619 87d0aab3a8e4
parent 76618 aeded421d374
child 76620 fb322b989584
tuned whitespace;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Sun Dec 11 13:46:34 2022 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sun Dec 11 13:54:16 2022 +0100
@@ -173,7 +173,7 @@
     if (dir2.is_file || dir2.is_dir) error("Directory already exists: " + dir2.absolute)
     else {
       try { copy_dir(dir1, dir2); body }
-      finally { rm_tree(dir2 ) }
+      finally { rm_tree(dir2) }
     }
   }
isabelle