Fix a bug in the parser where a leading '//' would be parsed incorectly.
authorKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 16:19:23 +0000 (17:19 +0100)
committerKim Nguyễn <kn@lri.fr>
Sat, 9 Mar 2013 16:19:23 +0000 (17:19 +0100)
commit7eb78333c3dcc85a1723bc0fe2c2e2703d27e418
tree2da0ebca14fee5790b9af8c899893fe23bc62cb7
parent65a13f009fb2952814a87dd9edaf9bcfc0a03635
Fix a bug in the parser where a leading '//' would be parsed incorectly.
src/xpath/xpath_internal_parser.mly