From: Enrico Tassi Date: Mon, 13 Jul 2009 18:52:29 +0000 (+0000) Subject: better spacing X-Git-Tag: make_still_working~3687 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=661cf1186c81c15122e0644b679795d2e6b9d389;p=helm.git better spacing --- diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml index b1a71034f..1172bbb5d 100644 --- a/helm/software/components/binaries/matitaprover/matitaprover.ml +++ b/helm/software/components/binaries/matitaprover/matitaprover.ml @@ -110,7 +110,7 @@ let start_msg stats passives g_passives (pp : ?margin:int -> leaf Terms.unit_cla prerr_endline (" " ^ oname); prerr_endline "Leaf order:"; List.iter (fun ((_,name), (a,b,c,gp,l)) -> - prerr_endline (name ^ " " ^ string_of_int a ^ " " ^ + prerr_endline (" " ^name ^ " " ^ string_of_int a ^ " " ^ string_of_int b ^ " " ^ string_of_int c ^ " " ^ String.concat "," (List.map string_of_int gp) ^