diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-15 16:34:59 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-09-15 16:34:59 +0000 |
| commit | 91497df2fca7ef7e1fc6a137911a5f08add21f5d (patch) | |
| tree | 276fe1362f96d08794bd1f8b457893cb304ff654 | |
| parent | cb1d4105dd0148c5c817cc48bfde953bdb2e5ea3 (diff) | |
Correction bug PR#531
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3764 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | toplevel/genprintval.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml index f9cb5f6e4..34c8f4fe1 100644 --- a/toplevel/genprintval.ml +++ b/toplevel/genprintval.ml @@ -406,7 +406,7 @@ module Make(O : OBJ)(EVP : EVALPATH with type value = O.t) = struct [] -> () | (name, tree) :: fields -> if not first then fprintf ppf ";@ "; - fprintf ppf "@[<1>%a=@,%a@]" print_ident name + fprintf ppf "@[<1>%a@ =@ %a@]" print_ident name (cautious print_tree) tree; print_fields false ppf fields and print_tree_list print_item sep ppf tree_list = |