From a6dc6060e224ee829416ee3f62977e369137316e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 15 May 2014 09:15:11 -0700 Subject: [PATCH] fix(kernel/formatter): typo Signed-off-by: Leonardo de Moura --- src/kernel/formatter.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/formatter.cpp b/src/kernel/formatter.cpp index 51b3c8355..594d61fbb 100644 --- a/src/kernel/formatter.cpp +++ b/src/kernel/formatter.cpp @@ -33,7 +33,7 @@ struct print_expr_fn { if (macro_num_args(a) > 0) out() << "("; macro_def(a).display(out()); for (unsigned i = 0; i < macro_num_args(a); i++) { - out() << " "; print(macro_arg(a, i), c); + out() << " "; print_child(macro_arg(a, i), c); } if (macro_num_args(a) > 0) out() << ")"; }