Commit 9a577730 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Avoid extra space before last arrow.

parent dc81b215
......@@ -548,7 +548,7 @@ let print_logic_decl ~old info fmt (ls,ld) =
(print_expr info) e;
List.iter forget_var vl
| None ->
fprintf fmt "@[<hov 2>%a %a: %a%a@ %a.@]@\n%a"
fprintf fmt "@[<hov 2>%a %a: %a%a%a.@]@\n%a"
definition info
print_ls ls
print_params all_ty_params
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment