--- a/src/Pure/Isar/outer_syntax.scala Mon Nov 18 22:06:08 2013 +0100
+++ b/src/Pure/Isar/outer_syntax.scala Mon Nov 18 23:26:15 2013 +0100
@@ -58,11 +58,11 @@
def thy_load(span: List[Token]): Option[List[String]] =
keywords.get(Command.name(span)) match {
- case Some((Keyword.THY_LOAD, files)) => Some(files)
+ case Some((Keyword.THY_LOAD, exts)) => Some(exts)
case _ => None
}
- def thy_load_commands: List[(String, List[String])] =
+ val thy_load_commands: List[(String, List[String])] =
(for ((name, (Keyword.THY_LOAD, files)) <- keywords.iterator) yield (name, files)).toList
def + (name: String, kind: (String, List[String]), replace: Option[String]): Outer_Syntax =