Minors (srry for the noise)

[tatoo.git] / src / asta.ml

diff --git a/src/asta.ml b/src/asta.ml
index 56bb8da..9059d8d 100644 (file)
--- 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 = ()