src/Pure/Isar/outer_syntax.scala
changeset 54513 5545aff878b1
parent 54462 c9bb76303348
child 55492 28d4db6c6e79
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Mon Nov 18 22:06:08 2013 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Mon Nov 18 23:26:15 2013 +0100
     1.3 @@ -58,11 +58,11 @@
     1.4  
     1.5    def thy_load(span: List[Token]): Option[List[String]] =
     1.6      keywords.get(Command.name(span)) match {
     1.7 -      case Some((Keyword.THY_LOAD, files)) => Some(files)
     1.8 +      case Some((Keyword.THY_LOAD, exts)) => Some(exts)
     1.9        case _ => None
    1.10      }
    1.11  
    1.12 -  def thy_load_commands: List[(String, List[String])] =
    1.13 +  val thy_load_commands: List[(String, List[String])] =
    1.14      (for ((name, (Keyword.THY_LOAD, files)) <- keywords.iterator) yield (name, files)).toList
    1.15  
    1.16    def + (name: String, kind: (String, List[String]), replace: Option[String]): Outer_Syntax =