| "node()" -> NODE
| "text()" -> TEXT
| "comment()" -> COMMENT
- | '@' ncname -> ATTNAME (L.utf8_lexeme lexbuf)
+ | '@' ncname -> let l = L.utf8_lexeme lexbuf in
+ ATTNAME (String.sub l 1 (String.length l - 1))
| "processing-instruction()" -> PI ""
| "processing-instruction('"ncname"')"
| "processing-instruction(\""ncname"\")"->