X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=ptset.mli;fp=ptset.mli;h=0d29da85342750eb98de6062efdf067336218a8d;hb=f98a8d98d86941a885f492d5cc134e34989c198a;hp=47c28ba540cd91fbebcf6396a57720e7e52649a1;hpb=4dfc5a603e5f56d62b2d2db6abf01161815ed48a;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
-