src/Pure/Tools/imports.scala
changeset 65833 95fd3b9888e6
parent 65830 064925cb656f
child 66025 96f86c613a9f
     1.1 --- a/src/Pure/Tools/imports.scala	Sun May 14 20:16:13 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Sun May 14 20:22:54 2017 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4          progress.echo_warning("Ignoring directory " + start + " (no Mercurial repository)")
     1.5          Nil
     1.6        case Some(hg) =>
     1.7 -        val start_path = start.file.getCanonicalFile.toPath
     1.8 +        val start_path = start.canonical_file.toPath
     1.9          for {
    1.10            name <- hg.known_files()
    1.11            file = (hg.root + Path.explode(name)).file
    1.12 @@ -46,7 +46,7 @@
    1.13    {
    1.14      val file =
    1.15        pos match {
    1.16 -        case Position.File(file) => Path.explode(file).file.getCanonicalFile
    1.17 +        case Position.File(file) => Path.explode(file).canonical_file
    1.18          case _ => error("Missing file in position" + Position.here(pos))
    1.19        }
    1.20