X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.ml;h=3d30f6847d4930d3a422a92df0968aa7f41c6b00;hb=eda0e1062076c3343ab0cfdc10e4d19d6e23c570;hp=091d4a841ede7c0c8ddee7f76f3fc90c040f2422;hpb=5b4679e20761058f1e04c123da52631c0dd265cc;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.ml b/ptset.ml
index 091d4a8..3d30f68 100644
--- a/ptset.ml
+++ b/ptset.ml
@@ -58,7 +58,7 @@ let empty = { id = gen_uid ();
 
 let _ = WH.add pool empty
 
-let is_empty = function { id = 0 } -> true  | _ -> false
+let is_empty s = s.id==0
     
 let rec norm n =
   let v = { id = gen_uid ();
@@ -82,7 +82,7 @@ let branch_ne = function
 
 let zero_bit k m = (k land m) == 0
 
-let singleton k = if k < 0 then failwith "singleton" else leaf k
+let singleton k = leaf k
 
 let rec mem k n = match n.node with
   | Empty -> false