1. Antoine Pietri
  2. blaise

Commits

Antoine Pietri  committed 8359c02

oops (missing \n in last commit)

  • Participants
  • Parent commits fd9cb78
  • Branches master

Comments (0)

Files changed (1)

File prettyprint.ml

View file
 
 let rec format_function_list ppf = function
   | [] -> Format.fprintf ppf ""
-  | [x] -> Format.fprintf ppf "%a@\n" format_function x
+  | [x] -> Format.fprintf ppf "%a@\n@\n" format_function x
   | x :: xs -> Format.fprintf ppf "%a@\n%a"
                  format_function x
                  format_function_list xs