src/Pure/Tools/imports.scala
changeset 66234 836898197296
parent 66033 e4a8e1e20d45
child 66449 1be102db1598
     1.1 --- a/src/Pure/Tools/imports.scala	Fri Jun 30 14:17:48 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Fri Jun 30 14:19:37 2017 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4          for {
     1.5            name <- hg.known_files()
     1.6            file = (hg.root + Path.explode(name)).file
     1.7 -          if pred(file) && file.getCanonicalFile.toPath.startsWith(start_path)
     1.8 +          if pred(file) && File.canonical(file).toPath.startsWith(start_path)
     1.9          } yield file
    1.10      }
    1.11