X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftranslist.ml;h=dd7d4b921357cb09a074870fb9604cd3c1d58d86;hb=4309f9456521bffcab5ff79abe1ed826744c3a57;hp=77c4cb523e0e289ed2b54c5735ab94bb249eb86a;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/translist.ml b/src/translist.ml
index 77c4cb5..dd7d4b9 100644
--- a/src/translist.ml
+++ b/src/translist.ml
@@ -1,5 +1,6 @@
-  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
+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
+  Pretty.pp_print_list ~sep:pp_force_newline pp_print_string ppf strings