src/Pure/PIDE/document.scala
changeset 46940 a40be2f10ca9
parent 46938 cda018294515
child 46941 c0f776b661fa
     1.1 --- a/src/Pure/PIDE/document.scala	Thu Mar 15 09:55:42 2012 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Thu Mar 15 10:16:21 2012 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4    {
     1.5      sealed case class Deps(
     1.6        imports: List[Name],
     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      object Name