diff options
Diffstat (limited to 'typing/oprint.ml')
| -rw-r--r-- | typing/oprint.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index 5ef15cac57..271acf5be9 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -430,9 +430,7 @@ and print_out_type_decl kwd ppf (name, args, ty, priv, constraints) = | Otr_new -> fprintf ppf " new" | Otr_public -> () in let print_out_tkind ppf = function - | Otyp_abstract -> - if priv <> Otr_public then - fprintf ppf " =%a" print_private priv + | Otyp_abstract -> () | Otyp_record lbls -> fprintf ppf " =%a {%a@;<1 -2>}" print_private priv |