From 6d30141a316c11f569f309d12a2bfc1b84acf5b1 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 15 May 2014 10:06:19 -0700 Subject: [PATCH] fix(kernel/formatter): remove unnecessary parenthesis Signed-off-by: Leonardo de Moura --- src/kernel/formatter.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/kernel/formatter.cpp b/src/kernel/formatter.cpp index 594d61fbb..051c01cb1 100644 --- a/src/kernel/formatter.cpp +++ b/src/kernel/formatter.cpp @@ -30,12 +30,10 @@ struct print_expr_fn { } void print_macro(expr const & a, context const & c) { - if (macro_num_args(a) > 0) out() << "("; macro_def(a).display(out()); for (unsigned i = 0; i < macro_num_args(a); i++) { out() << " "; print_child(macro_arg(a, i), c); } - if (macro_num_args(a) > 0) out() << ")"; } void print_sort(expr const & a) {