X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fasta.ml;h=9059d8d55e647cd13c47060af10a572d98781111;hb=8ea5ba2ff786907b1859fb7f8dd0a0342a369cbf;hp=56bb8da8378971b2c61b0510d7570fe6aa0d73cf;hpb=f514dcb2286ad4679dbf603ce187ebafce0dc59e;p=tatoo.git

diff --git a/src/asta.ml b/src/asta.ml
index 56bb8da..9059d8d 100644
--- a/src/asta.ml
+++ b/src/asta.ml
@@ -133,8 +133,8 @@ let print fmt asta =
       Format.fprintf fmt "  @[<hov 0>%a @]" print_list_tr trans in
     Format.fprintf fmt "@[<v 0># Queries transitions:@ %a@ @]"
       print_box_list asta.trans_q;
-    Format.fprintf fmt "@[<v 0># Recognizing transitions:@ %a@ @]"
+    Format.fprintf fmt "@[<v 0># Recognizing transitions:@ %a@]"
       print_box_list asta.trans_r in
-  Format.fprintf fmt "@[<v 1> ##### ASTA #####@, %a@ @]" print_box 0
+  Format.fprintf fmt "@[<v 1>##### ASTA #####@, %a@ @]@." print_box 0
 
 let to_file out asta = ()