projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
supprimer (List.rev p) dans la fonction compile_path_rev
[tatoo.git]
/
src
/
xpath
/
xpath_internal_parser.mly
diff --git
a/src/xpath/xpath_internal_parser.mly
b/src/xpath/xpath_internal_parser.mly
index
d9c46a7
..
e5c0700
100644
(file)
--- a/
src/xpath/xpath_internal_parser.mly
+++ b/
src/xpath/xpath_internal_parser.mly
@@
-130,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
}