diff options
Diffstat (limited to 'typing/oprint.ml')
| -rw-r--r-- | typing/oprint.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index e894027376..30c94daa33 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -449,8 +449,8 @@ and print_out_constr ppf (name, tyl,ret_type_opt) = end -and print_out_label ppf (name, mut, arg) = - fprintf ppf "@[<2>%s%s :@ %a@];" (if mut then "mutable " else "") name +and print_out_label ppf (name, mut, focus, arg) = + fprintf ppf "@[<2>%s%s%s :@ %a@];" (if mut then "mutable " else "") (if focus then "match " else "") name !out_type arg let _ = out_module_type := print_out_module_type |