X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftranslist.ml;fp=src%2Ftranslist.ml;h=dd7d4b921357cb09a074870fb9604cd3c1d58d86;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=f3bcccd92646a1f59420b711beb42b15eb607894;hpb=468560acb04b8936936080e81152d926c251df30;p=SXSI%2Fxpathcomp.git

diff --git a/src/translist.ml b/src/translist.ml
index f3bcccd..dd7d4b9 100644
--- a/src/translist.ml
+++ b/src/translist.ml
@@ -1,5 +1,6 @@
+open Format
 include Hlist.Make(Transition)
 let print ppf fl =
   let l = fold (fun t acc -> t :: acc) fl [] in
   let strings = Transition.format_list l in
-  List.iter (fun s -> Format.fprintf ppf "%s\n%!" s) strings
+  Pretty.pp_print_list ~sep:pp_force_newline pp_print_string ppf strings