diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-03-20 03:21:03 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-03-20 03:21:03 +0000 |
| commit | 66838ed0bc172e8143e4f8eb1cea08b18758ff72 (patch) | |
| tree | e3724e5deafe6d2a12f26310d8204efbca4e8050 | |
| parent | 2e5185dadf97a1c171b96510671f7b82b011805a (diff) | |
at space at end of poly variant to fix PR#1605
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/oprint.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index 9482a8bbe..22d72f218 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -169,7 +169,7 @@ and print_simple_out_type ppf = | Ovar_name (id, tyl) -> fprintf ppf "@[%a%a@]" print_typargs tyl print_ident id in - fprintf ppf "%s[%s@[<hv>@[<hv>%a@]%a]@]" (if non_gen then "_" else "") + fprintf ppf "%s[%s@[<hv>@[<hv>%a@]%a@ ]@]" (if non_gen then "_" else "") (if closed then if tags = None then " " else "< " else if tags = None then "> " else "? ") print_fields row_fields |