diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index ae7094e5c4..986cb0f156 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -323,8 +323,8 @@ and type_kind i ppf x = | Ptype_record (l, priv) -> line i ppf "Ptype_record %a\n" fmt_private_flag priv; list (i+1) string_x_mutable_flag_x_core_type_x_location ppf l; - | Ptype_fixed -> - line i ppf "Ptype_fixed\n" + | Ptype_private -> + line i ppf "Ptype_private\n" and exception_declaration i ppf x = list i core_type ppf x |