From ad6efbd3cab4f726c534dfa5bb92453c72b9bc8d Mon Sep 17 00:00:00 2001
From: Marco Antognini <antognini.marco@gmail.com>
Date: Thu, 26 Nov 2015 18:26:40 +0100
Subject: [PATCH] Add parentheses around multi-operators
---
src/main/scala/leon/genc/CPrinter.scala | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/genc/CPrinter.scala b/src/main/scala/leon/genc/CPrinter.scala
index 58e9d6514..eec404f0c 100644
--- a/src/main/scala/leon/genc/CPrinter.scala
+++ b/src/main/scala/leon/genc/CPrinter.scala
@@ -105,8 +105,9 @@ class CPrinter(val sb: StringBuffer = new StringBuffer) {
case Assign(lhs, rhs) =>
c"$lhs = $rhs;"
- case UnOp(op, rhs) => c"($op $rhs)"
- case MultiOp(op, stmts) => c"""${nary(stmts, sep = s" ${op.fixMargin} ")}"""
+ case UnOp(op, rhs) => c"($op$rhs)"
+ case MultiOp(op, stmts) => c"""${nary(stmts, sep = s" ${op.fixMargin} ",
+ opening = "(", closing = ")")}"""
case SubscriptOp(ptr, idx) => c"$ptr[$idx]"
case Break => c"break;"
--
GitLab