projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'ocamlbuild-port' of ssh://git.nguyen.vg/tatoo into ocamlbuild-port
[tatoo.git]
/
src
/
xpath
/
ast.ml
diff --git
a/src/xpath/ast.ml
b/src/xpath/ast.ml
index
9a0d4d7
..
21ab5df
100644
(file)
--- a/
src/xpath/ast.ml
+++ b/
src/xpath/ast.ml
@@
-127,8
+127,9
@@
and print_test fmt (ts,kind) =
Text -> pp fmt "%s" "text()"
| Element | Attribute ->
pp fmt "%s" begin
Text -> pp fmt "%s" "text()"
| Element | Attribute ->
pp fmt "%s" begin
- if ts == star then "*"
- else QName.to_string (QName.remove_prefix (QNameSet.choose ts))
+ if QNameSet.is_finite ts then
+ QName.to_string (QName.remove_prefix (QNameSet.choose ts))
+ else "*"
end
| Comment -> pp fmt "%s" "comment()"
| ProcessingInstruction ->
end
| Comment -> pp fmt "%s" "comment()"
| ProcessingInstruction ->
@@
-181,4
+182,3
@@
let invert_axis = function
| Preceding -> Following
| Following -> Preceding
;;
| Preceding -> Following
| Following -> Preceding
;;
-