src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Thu Mar 15 09:55:42 2012 +0100
+++ b/src/Pure/PIDE/document.scala	Thu Mar 15 10:16:21 2012 +0100
@@ -41,7 +41,7 @@
   {
     sealed case class Deps(
       imports: List[Name],
-      keywords: List[(String, Option[(String, List[String])])],
+      keywords: List[Outer_Syntax.Decl],
       uses: List[(String, Boolean)])
 
     object Name