src/Pure/General/path.scala
changeset 48409 0d2114eb412a
parent 48373 527e2bad7cca
child 48420 a8ed41b6280b
     1.1 --- a/src/Pure/General/path.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Pure/General/path.scala	Fri Jul 20 22:29:25 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.io.File
     1.8 +import java.io.{File => JFile}
     1.9  
    1.10  import scala.util.matching.Regex
    1.11  
    1.12 @@ -168,5 +168,5 @@
    1.13  
    1.14    /* platform file */
    1.15  
    1.16 -  def file: File = Isabelle_System.platform_file(this)
    1.17 +  def file: JFile = Isabelle_System.platform_file(this)
    1.18  }