Temporary commit

[SXSI/xpathcomp.git] / src / transition.ml

diff --git a/src/transition.ml b/src/transition.ml
index e05fd42..9f03aa0 100644 (file)
--- 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