X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fxpath%2Fxpath_internal_parser.mly;h=e5c070070514f811b1cab3e8e18992ba16e8c8c2;hp=2a861aa7f2ee19313270081344c031a7b711a277;hb=31d45495fda9a110fd348f8b492761c28b434ec9;hpb=b00bff88c7902e828804c06b7f9dc55222fdc84e diff --git a/src/xpath/xpath_internal_parser.mly b/src/xpath/xpath_internal_parser.mly index 2a861aa..e5c0700 100644 --- a/src/xpath/xpath_internal_parser.mly +++ b/src/xpath/xpath_internal_parser.mly @@ -14,10 +14,6 @@ (* *) (***********************************************************************) -(* - Time-stamp: -*) - open Ast open Tree %} @@ -134,7 +130,7 @@ axis_test: test: NODE { node, NodeKind.Node } | TEXT { text, NodeKind.Text } -| STAR { star, NodeKind.Element } +| STAR { node, NodeKind.Element } | COMMENT { QNameSet.singleton(QName.comment), NodeKind.Comment }