Merge branch 'pretty-print'

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

diff --git a/src/ata.ml b/src/ata.ml
index 591fab1..272e8e0 100644 (file)
--- a/src/ata.ml
+++ b/src/ata.ml
@@ -19,7 +19,7 @@ type t = {
 
 let print ppf a =
   fprintf ppf
-    "Automaton (%i) :@\n\
+    "Unique ID: %i@\n\
      States %a@\n\
      Initial states: %a@\n\
      Marking states: %a@\n\
@@ -48,7 +48,7 @@ let print ppf a =
     let sline = Pretty.line (Pretty.length line) in
     fprintf ppf "%s@\n" sline;
     List.iter (fun s -> fprintf ppf "%s@\n" s) strings;
-    fprintf ppf "%s@\n" sline
+    fprintf ppf "%s" sline
 
 
 type jump_kind =