src/Pure/Thy/thy_header.scala
changeset 46940 a40be2f10ca9
parent 46939 5b67ac48b384
child 46943 ac1c41ea856d
     1.1 --- a/src/Pure/Thy/thy_header.scala	Thu Mar 15 09:55:42 2012 +0100
     1.2 +++ b/src/Pure/Thy/thy_header.scala	Thu Mar 15 10:16:21 2012 +0100
     1.3 @@ -113,7 +113,7 @@
     1.4  
     1.5  sealed case class Thy_Header(
     1.6    name: String, imports: List[String],
     1.7 -  keywords: List[(String, Option[(String, List[String])])],
     1.8 +  keywords: List[Outer_Syntax.Decl],
     1.9    uses: List[(String, Boolean)])
    1.10  {
    1.11    def map(f: String => String): Thy_Header =