src/Pure/Isar/outer_syntax.scala
changeset 65384 36255c43c64c
parent 65383 089f2edefb77
child 66717 67dbf5cdc056
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Tue Apr 04 22:53:01 2017 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Tue Apr 04 22:56:28 2017 +0200
     1.3 @@ -71,8 +71,10 @@
     1.4  
     1.5    def add_keywords(keywords: Thy_Header.Keywords): Outer_Syntax =
     1.6      (this /: keywords) {
     1.7 -      case (syntax, (name, ((kind, exts), _))) =>
     1.8 -        syntax + (Symbol.decode(name), kind, exts) + (Symbol.encode(name), kind, exts)
     1.9 +      case (syntax, (name, spec)) =>
    1.10 +        syntax +
    1.11 +          (Symbol.decode(name), spec.kind, spec.exts) +
    1.12 +          (Symbol.encode(name), spec.kind, spec.exts)
    1.13      }
    1.14  
    1.15