better spacing

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index b1a71034f854f9eb8ebb263ab121a7859e73b47b..1172bbb5d3438f752eb44c1fedcea6f903330892 100644 (file)
--- 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) ^