From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Wed, 4 Jul 2012 12:55:56 +0000 (+0200)
Subject: result in .gitignore + pretty printing
X-Git-Tag: Core~6
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=acfa2a9c516dfa751d6963d99e6148f7584537b1

result in .gitignore + pretty printing
---

diff --git a/.gitignore b/.gitignore
index ed7118b..f22646a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,4 +3,5 @@ _build
 *.byte
 doc/*.ps
 doc/*.out
-doc/html/*
\ No newline at end of file
+doc/html/*
+tests/results/*
\ No newline at end of file
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
diff --git a/tests/results/my.result b/tests/results/my.result
index 760aeaf..c2f4cd7 100644
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -40,5 +40,3 @@ Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
  
 ##### RUN #####
   # Mapping: ø
-  
-