X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=f84c2bdd1b7abaf64cd2f8d5c5d78a903579a586;hb=55ee2680ca6d4e952cb800c529d45e064a2eff1c;hp=0a1bddab6d68f9baf426dda2ca9533749f17e688;hpb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;p=SXSI%2Fxpathcomp.git

diff --git a/tree.ml b/tree.ml
index 0a1bdda..f84c2bd 100644
--- a/tree.ml
+++ b/tree.ml
@@ -176,7 +176,7 @@ let text_size t = text_size t.doc
 
 module MemUnion = Hashtbl.Make (struct 
       type t = Ptset.Int.t*Ptset.Int.t
-      let equal (x,y) (z,t) = x == z || y == t
+      let equal (x,y) (z,t) = x == z && y == t
       let equal a b = equal a b || equal b a
       let hash (x,y) =   (* commutative hash *)
 	let x = Uid.to_int (Ptset.Int.uid x)
@@ -513,7 +513,8 @@ let select_following_sibling t = fun ts ->
     fun n -> tree_select_following_sibling t.doc n v
 
 let next_sibling_below t = (); fun n _ -> tree_next_sibling t.doc n
-let next_element_below t = (); fun n _ ->  tree_next_element t.doc n
+let next_element_below t = (); fun n _ -> tree_next_element t.doc n
+
 let tagged_following_sibling_below t tag = (); fun n  _ -> tree_tagged_following_sibling t.doc n tag
 
 let select_following_sibling_below t = fun ts ->