src/Pure/System/options.scala
changeset 48409 0d2114eb412a
parent 48373 527e2bad7cca
child 48411 5b3440850d36
     1.1 --- a/src/Pure/System/options.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Pure/System/options.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  object Options
    1.12 @@ -49,7 +49,7 @@
    1.13          { case _ ~ (a ~ _ ~ b) => (options: Options) => options.define(a, b) }
    1.14      }
    1.15  
    1.16 -    def parse_entries(file: File): List[Options => Options] =
    1.17 +    def parse_entries(file: JFile): List[Options => Options] =
    1.18      {
    1.19        val toks = syntax.scan(Standard_System.read_file(file))
    1.20        parse_all(rep(entry), Token.reader(toks, file.toString)) match {