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/components.scala
changeset 82145 5b8639cb0d11
parent 80225 d9ff4296e3b7 
--- a/src/Pure/System/components.scala	Wed Feb 12 13:31:06 2025 +0100
+++ b/src/Pure/System/components.scala	Wed Feb 12 13:32:04 2025 +0100
@@ -149,7 +149,7 @@
     progress: Progress = new Progress
   ): Directory = {
     val base_name = local_dir.expand.base
-    val local_directory = Directory(local_dir).check
+    Directory(local_dir).check
     val remote_directory = Directory(base_dir + base_name, ssh = ssh)
     if (remote_directory.ok) remote_directory
     else {
isabelle