X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.ml;h=3d30f6847d4930d3a422a92df0968aa7f41c6b00;hb=aafe9afd804263ac5e28cb2e7857cc003e3c1d2d;hp=673523c6db0d39898df0c69437560f05fb1a86b0;hpb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;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