[Bug 2893] void() is used instead of empty-sequence()

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2893

           Summary: void() is used instead of empty-sequence()
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery/XPath Tokenizer
        AssignedTo: scott_boag@us.ibm.com
        ReportedBy: frans.englich@telia.com
         QAContact: public-qt-comments@w3.org


The type "void()" is used which is obsolete, replaced by empty-sequence().  
Looks like the EBNF needs to be updated/re-generated. It's also in the 
ITEMTYPE state table. 
  
  
Frans