X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ptset.ml;fp=ptset.ml;h=3d30f6847d4930d3a422a92df0968aa7f41c6b00;hb=4a66518948bf6356b5cb72ba30b4d48a8c9e833a;hp=673523c6db0d39898df0c69437560f05fb1a86b0;hpb=0b725bb9913ff83cf73c5489f3b8582b881e6681;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.ml b/ptset.ml
index 673523c..3d30f68 100644
--- a/ptset.ml
+++ b/ptset.ml
@@ -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