projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
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
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
print_map run
in
- Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@
@
]@." print_box run
+ Format.fprintf fmt "@[<v 1>##### RUN #####@, %a@]@." print_box run