src/Pure/Thy/thy_header.scala
changeset 46943 ac1c41ea856d
parent 46940 a40be2f10ca9
child 48409 0d2114eb412a
     1.1 --- a/src/Pure/Thy/thy_header.scala	Thu Mar 15 14:13:49 2012 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Thu Mar 15 14:22:54 2012 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4      val keyword_kind =
     1.5        atom("outer syntax keyword kind", _.is_name) ~ tags ^^ { case x ~ y => (x, y) }
     1.6      val keyword_decl =
     1.7 -      rep1(name) ~ opt(keyword("::") ~! keyword_kind ^^ { case _ ~ x => x }) ^^
     1.8 +      rep1(string) ~ opt(keyword("::") ~! keyword_kind ^^ { case _ ~ x => x }) ^^
     1.9        { case xs ~ y => xs.map((_, y)) }
    1.10      val keyword_decls =
    1.11        keyword_decl ~ rep(keyword(AND) ~! keyword_decl ^^ { case _ ~ x => x }) ^^