X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftranslist.ml;h=dd7d4b921357cb09a074870fb9604cd3c1d58d86;hb=7e27afe6fa006ad355237ccc0695c6493ea57929;hp=f3bcccd92646a1f59420b711beb42b15eb607894;hpb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;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