X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.ml;fp=ptset.ml;h=3fd3d39e26dc1b79b9b8b28e2a52a383c67f226b;hb=2676d5a3bbb1e6f6a5af66477edfe3b4c849f4e7;hp=7a326021c6abfe5577e6bb39d8b52c36fc739170;hpb=b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.ml b/ptset.ml
index 7a32602..3fd3d39 100644
--- a/ptset.ml
+++ b/ptset.ml
@@ -44,8 +44,8 @@ struct
 	| _ -> 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
  ;;