From 661cf1186c81c15122e0644b679795d2e6b9d389 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 13 Jul 2009 18:52:29 +0000 Subject: [PATCH] better spacing --- helm/software/components/binaries/matitaprover/matitaprover.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) ^ -- 2.39.2