src/Pure/Thy/thy_load.scala
changeset 48409 0d2114eb412a
parent 46938 cda018294515
child 48422 9613780a805b
     1.1 --- a/src/Pure/Thy/thy_load.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Pure/Thy/thy_load.scala	Fri Jul 20 22:29:25 2012 +0200
     1.3 @@ -7,7 +7,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  
    1.11  
    1.12 @@ -31,7 +31,7 @@
    1.13  
    1.14    def read_header(name: Document.Node.Name): Thy_Header =
    1.15    {
    1.16 -    val file = new File(name.node)
    1.17 +    val file = new JFile(name.node)
    1.18      if (!file.exists || !file.isFile) error("No such file: " + quote(file.toString))
    1.19      Thy_Header.read(file)
    1.20    }