fix of printergcaml3

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gcaml3@7047 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 4 insertions, 4 deletions

diff --git a/gcamllib/gprint.ml b/gcamllib/gprint.ml
index 3bfd86b7ac..ef44c5204a 100644
--- a/gcamllib/gprint.ml
+++ b/gcamllib/gprint.ml
@@ -167,10 +167,10 @@ and print_regular_record self ppf decl args labels v =
     in
     get_fields 0 labels
   in
-  fprintf ppf "@[<2>{ %a }@]" 
+  fprintf ppf "@[<hov2>{ %a }@]" 
     (print_list (fun ppf () -> fprintf ppf ";@ ") 
        (fun ppf ((l,p),v) ->
-	 fprintf ppf "%s = %a" l p (Obj.repr v)))
+	 fprintf ppf "@[<2>%s=@ %a@]" l p (Obj.repr v)))
     (List.combine labels_and_subprinters fields)
 
 and print_float_record self ppf decl args labels v =
@@ -183,10 +183,10 @@ and print_float_record self ppf decl args labels v =
   let values_as_float = 
     Array.to_list (Obj.obj v : float array) 
   in
-  fprintf ppf "@[<2>{ %a }@]" 
+  fprintf ppf "@[<hov2>{ %a }@]" 
     (print_list (fun ppf () -> fprintf ppf ";@ ") 
        (fun ppf ((l,p),v) ->
-	 fprintf ppf "%s = %a" l p (Obj.repr v)))
+	 fprintf ppf "@[<2>%s=@ %a@]" l p (Obj.repr v)))
     (List.combine labels_and_subprinters values_as_float)
 
 let rec printer ty ppf v = gen_print printer ty ppf v