X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Ftransition.ml;h=9f03aa05722d1d45ddf92401197cea0a002a1334;hb=ecec752325cb3d207894a4f8d772936bd7ad9f4a;hp=e05fd42df51b5a24cead12cb2b23484ecc4e7a34;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/transition.ml b/src/transition.ml
index e05fd42..9f03aa0 100644
--- a/src/transition.ml
+++ b/src/transition.ml
@@ -48,8 +48,10 @@ let format_list l =
   let make_str f x =
     let b = Buffer.create 10 in
     let fmt = formatter_of_buffer b in
-      fprintf fmt "@[%a@]@?" f x;
-      Buffer.contents b
+    pp_print_flush fmt ();
+    fprintf fmt "%a" f x;
+    pp_print_flush fmt ();
+    Buffer.contents b
   in
   let str_trans t =
     let lhs = make_str print_lhs t