diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 689e3c39445bc7c9dcc7d46f25f1976e1689661d..6018de2ca198897cceb309b8c73002ea70fa1047 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -349,6 +349,7 @@ object ScalaPrinter {
       }
 
       var nsb = sb
+      nsb.append("(")
       nsb == pp(s, nsb, lvl)
       // if(mex.posInfo != "") {
       //   nsb.append(" match@(" + mex.posInfo + ") {\n")
@@ -369,6 +370,7 @@ object ScalaPrinter {
         nsb.append("\n")
       })
       ind(nsb, lvl).append("}")
+      nsb.append(")")
       nsb
     }