X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fptset.ml;h=4dbd1a3ff9b98bd4e8548c3c0a1b1cf065e46302;hp=779d24f1ee2d975040cf5592116558ff026dabc2;hb=4f265eb7d78b740292b5543d94f9f0fa40d206d5;hpb=31d45495fda9a110fd348f8b492761c28b434ec9

diff --git a/src/ptset.ml b/src/ptset.ml
index 779d24f..4dbd1a3 100644
--- a/src/ptset.ml
+++ b/src/ptset.ml
@@ -374,7 +374,7 @@ struct
   include Make(Hcons.PosInt)
   let print ppf s =
     Format.pp_print_string ppf "{ ";
-    iter (fun i -> Format.fprintf ppf "%i " i) s;
+    iter (fun i -> Format.fprintf ppf "%i " (i :> int)) s;
     Format.pp_print_string ppf "}";
     Format.pp_print_flush ppf ()
 end