X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.ml;h=272e8e0fa0ffabca51742a4bc826c126b7811d4d;hb=4516c5fe48693d769b62b987fe561d9aa8951695;hp=8590a8e26cd594d6bf9115cb8d77aa914b17013d;hpb=431946f30b0733498ffa731cfa97692b2c942208;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.ml b/src/ata.ml
index 8590a8e..272e8e0 100644
--- 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 =
@@ -271,7 +271,7 @@ let get_trans ?(attributes=TagSet.empty) auto states tag =
 (*      let ts = if ts == TagSet.star then TagSet.diff ts attributes else ts
       in *)
       let b = TagSet.mem tag ts in
-      LOG(__ "transition" 3 "tag=<%s>, %s: %a7C"
+      LOG(__ "transition" 3 "tag=<%s>, %s: %a"
         (Tag.to_string tag)
         (if b then "    taking" else "not taking")
         Transition.print tr);