Skip to content

Commit

Permalink
delete duplicate newline in pretty printer
Browse files Browse the repository at this point in the history
  • Loading branch information
Laplace-Demon authored and zapashcanon committed Aug 27, 2024
1 parent beef70b commit 26eb8e9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/ast/types.ml
Original file line number Diff line number Diff line change
Expand Up @@ -939,7 +939,7 @@ type 'a rec_type = 'a type_def list
let pp_rec_type fmt l =
match l with
| [] -> ()
| [ t ] -> pf fmt "@\n%a" pp_type_def_no_indent t
| [ t ] -> pf fmt "%a" pp_type_def_no_indent t
| l -> pf fmt "(rec %a)" (list ~sep:sp pp_type_def) l

let pp_start fmt start = pf fmt "(start %a)" pp_indice start
Expand Down

0 comments on commit 26eb8e9

Please sign in to comment.