result in .gitignore + pretty printing

[tatoo.git] / src / run.ml

diff --git a/src/run.ml b/src/run.ml
index 444cce7..57e037d 100644 (file)
--- a/src/run.ml
+++ b/src/run.ml
@@ -40,11 +40,11 @@ let print fmt run =
     if NodeHash.length run = 0
     then Format.fprintf fmt "ø"
     else
-      NodeHash.iter (fun cle set -> pp "|  %i-->%a@ " cle print_d_set set)
+      NodeHash.iter (fun cle set -> pp "@ |  %i-->%a" cle print_d_set set)
         run in
   let print_box fmt run =
     let pp = Format.fprintf fmt in
-    pp "@[<v 0># Mapping: %a@ @]"
+    pp "@[<v 0># Mapping: %a@]"
       print_map run
   in
-  Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@ @]@." print_box run
+  Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@]@." print_box run