changes

[SXSI/xpathcomp.git] / ptset.mli

diff --git a/ptset.mli b/ptset.mli
index 8a25ffc..47c28ba 100644 (file)
--- a/ptset.mli
+++ b/ptset.mli
@@ -84,6 +84,8 @@ val max_elt : t -> int
    intersection. *) 
 
 val intersect : t -> t -> bool
+val is_singleton : t -> bool
+
 val hash : t -> int
 
 val from_list : int list -> t