Merge from branch stable-succint-refactor

[SXSI/xpathcomp.git] / ptset.ml

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