* Seal the representation of states

[tatoo.git] / src / ptset.ml

diff --git a/src/ptset.ml b/src/ptset.ml
index 779d24f..4dbd1a3 100644 (file)
--- 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