X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Frun.ml;h=57e037df0476502d34994b6ddb07ea34bcfd4450;hp=444cce790723ef93d02c70f39c87f5f3c54545c6;hb=acfa2a9c516dfa751d6963d99e6148f7584537b1;hpb=445457b2dc5ca11cb3d305c346fe7937f29ba2a9

diff --git a/src/run.ml b/src/run.ml
index 444cce7..57e037d 100644
--- 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