projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add new hlist module
[SXSI/xpathcomp.git]
/
ptset.ml
diff --git
a/ptset.ml
b/ptset.ml
index
7a32602
..
3fd3d39
100644
(file)
--- a/
ptset.ml
+++ b/
ptset.ml
@@
-44,8
+44,8
@@
struct
| _ -> false
let hash = function
| Empty -> 0
| _ -> false
let hash = function
| Empty -> 0
- | Leaf i -> HASHINT2(HALF_MAX_INT,H.
hash
i)
- | Branch (b,i,l,r) -> HASHINT4(b,i,HNode.
hash l, HNode.hash
r)
+ | Leaf i -> HASHINT2(HALF_MAX_INT,H.
uid
i)
+ | Branch (b,i,l,r) -> HASHINT4(b,i,HNode.
uid l, HNode.uid
r)
end
;;
end
;;