michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(kernel/formatter): remove unnecessary parenthesis

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-15 10:06:19 -07:00
parent 6f8f074f20
commit 6d30141a31
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/kernel/formatter.cpp
View file

@ -30,12 +30,10 @@ struct print_expr_fn {
} }
void print_macro(expr const & a, context const & c) { void print_macro(expr const & a, context const & c) {
if (macro_num_args(a) > 0) out() << "(";
macro_def(a).display(out()); macro_def(a).display(out());
for (unsigned i = 0; i < macro_num_args(a); i++) { for (unsigned i = 0; i < macro_num_args(a); i++) {
out() << " "; print_child(macro_arg(a, i), c); out() << " "; print_child(macro_arg(a, i), c);
} }
if (macro_num_args(a) > 0) out() << ")";
} }
void print_sort(expr const & a) { void print_sort(expr const & a) {