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

diff --git a/src/translist.ml b/src/translist.ml
index 77c4cb5..f3bcccd 100644
--- a/src/translist.ml
+++ b/src/translist.ml
@@ -1,5 +1,5 @@
-  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
+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