From ac03b3204a50b67f4291e6aff6dbf7cb657b641b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 26 Jun 2014 12:07:28 -0700 Subject: [PATCH] fix(kernel/formatter): add missing parentheses Signed-off-by: Leonardo de Moura --- src/kernel/formatter.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/kernel/formatter.cpp b/src/kernel/formatter.cpp index 3c6d60f35..c705e8eb9 100644 --- a/src/kernel/formatter.cpp +++ b/src/kernel/formatter.cpp @@ -164,7 +164,10 @@ struct print_expr_fn { bool first = true; for (auto l : ls) { if (first) first = false; else out() << " "; - out() << l; + if (is_max(l) || is_imax(l)) + out() << "(" << l << ")"; + else + out() << l; } out() << "}"; }