projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
i
[SXSI/xpathcomp.git]
/
src
/
tagSet.ml
diff --git
a/src/tagSet.ml
b/src/tagSet.ml
index
a7ebbd1
..
fd3a0fe
100644
(file)
--- a/
src/tagSet.ml
+++ b/
src/tagSet.ml
@@
-12,7
+12,7
@@
include M
let tag t = singleton t
let pcdata = singleton Tag.pcdata
let attribute = singleton Tag.attribute
let tag t = singleton t
let pcdata = singleton Tag.pcdata
let attribute = singleton Tag.attribute
-let star = diff any (
cup pcdata attribute
)
+let star = diff any (
add Tag.attribute_data (cup pcdata attribute)
)
let node = neg attribute
let print ppf t =
let node = neg attribute
let print ppf t =