X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.mli;h=0d29da85342750eb98de6062efdf067336218a8d;hb=05d12de7ce75866e7e7e19fba37720fda99c38ad;hp=47c28ba540cd91fbebcf6396a57720e7e52649a1;hpb=7489c542a7b7357a1c2bbc436d1d77c601833d3b;p=SXSI%2Fxpathcomp.git

diff --git a/ptset.mli b/ptset.mli
index 47c28ba..0d29da8 100644
--- a/ptset.mli
+++ b/ptset.mli
@@ -92,4 +92,3 @@ val from_list : int list -> t
 
 type int_vector
 val to_int_vector : t -> int_vector
-