diff options
| -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 |