diff options
Diffstat (limited to 'parsing/prettyp.ml')
| -rw-r--r-- | parsing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/prettyp.ml b/parsing/prettyp.ml index 882a94ffb..cc04f8f34 100644 --- a/parsing/prettyp.ml +++ b/parsing/prettyp.ml @@ -69,7 +69,7 @@ let print_impl_args_by_name max = function | [] -> mt () | impls -> hov 0 (str (plural (List.length impls) "Argument") ++ spc() ++ - prlist_with_sep pr_coma pr_implicit impls ++ spc() ++ + prlist_with_sep pr_comma pr_implicit impls ++ spc() ++ str (conjugate_to_be impls) ++ str" implicit" ++ (if max then strbrk " and maximally inserted" else mt())) ++ fnl() |