Safety commit before clean-up

[SXSI/xpathcomp.git] / tree.ml

diff --git a/tree.ml b/tree.ml
index 0a1bdda..8e5dbc7 100644 (file)
--- 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)