From acfa2a9c516dfa751d6963d99e6148f7584537b1 Mon Sep 17 00:00:00 2001
From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Wed, 4 Jul 2012 14:55:56 +0200
Subject: [PATCH] result in .gitignore + pretty printing

---
 .gitignore              | 3 ++-
 src/run.ml              | 6 +++---
 tests/results/my.result | 2 --
 3 files changed, 5 insertions(+), 6 deletions(-)

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: ø
-  
- 
-- 
2.17.1