formatting fix

This commit is contained in:
Louis Gesbert 2023-01-07 22:00:57 +01:00
parent 19033669f5
commit ca7f14e219
3 changed files with 4697 additions and 4697 deletions

View File

@ -109,7 +109,7 @@ let rec format_typ
match Marked.unmark naked_typ with
| TLit l -> Format.fprintf fmt "%a" Print.tlit l
| TTuple ts ->
Format.fprintf fmt "@[<hov 2>(%a)]"
Format.fprintf fmt "@[<hov 2>(%a)@]"
(Format.pp_print_list
~pp_sep:(fun fmt () -> Format.fprintf fmt "@ *@ ")
(fun fmt t -> Format.fprintf fmt "%a" format_typ t))

File diff suppressed because one or more lines are too long

File diff suppressed because it is too large Load Diff