X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;h=8e5dbc72be1d145282b1d01af5425ce0d19de86b;hb=ac8720a930e5757a72f73e80aff7a988b0082831;hp=a0346363925a599c9f56edd735ab3b2f98dcca16;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git

diff --git a/tree.ml b/tree.ml
index a034636..8e5dbc7 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)
@@ -788,3 +788,7 @@ let stats t =
 
 
 
+let test_prefix t s = Array.length (text_prefix t.doc s)
+let test_suffix t s = Array.length (text_suffix t.doc s)
+let test_contains t s = Array.length (text_contains t.doc s) 
+let test_equals t s = Array.length (text_equals t.doc s)