src/Pure/PIDE/command.scala

--- a/src/Pure/PIDE/command.scala	Wed Aug 11 18:44:06 2010 +0200
+++ b/src/Pure/PIDE/command.scala	Wed Aug 11 22:41:26 2010 +0200
@@ -31,7 +31,7 @@
   }
   case class TypeInfo(ty: String)
   case class RefInfo(file: Option[String], line: Option[Int],
-    command_id: Option[String], offset: Option[Int])
+    command_id: Option[Document.Command_ID], offset: Option[Int])  // FIXME Command_ID vs. State_ID !?
 }
 
 class Command(