Commits

Antoine Pietri committed 8359c02

oops (missing \n in last commit)

Comments (0)

Files changed (1)

 
 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