1.1 --- a/src/Pure/PIDE/command.scala	Mon Jul 04 22:11:32 2011 +0200
     1.2 +++ b/src/Pure/PIDE/command.scala	Mon Jul 04 22:25:33 2011 +0200
     1.3 @@ -80,10 +80,10 @@
     1.4    /* dummy commands */
     1.5  
     1.6    def unparsed(source: String): Command =
     1.7 -    new Command(Document.NO_ID, List(Token(Token.Kind.UNPARSED, source)))
     1.8 +    new Command(Document.no_id, List(Token(Token.Kind.UNPARSED, source)))
     1.9  
    1.10    def span(toks: List[Token]): Command =
    1.11 -    new Command(Document.NO_ID, toks)
    1.12 +    new Command(Document.no_id, toks)
    1.13  }
    1.14  
    1.15  
    1.16 @@ -97,7 +97,7 @@
    1.17    def is_ignored: Boolean = span.forall(_.is_ignored)
    1.18    def is_malformed: Boolean = !is_command && !is_ignored
    1.19  
    1.20 -  def is_unparsed = id == Document.NO_ID
    1.21 +  def is_unparsed = id == Document.no_id
    1.22  
    1.23    def name: String = if (is_command) span.head.content else ""
    1.24    override def toString =