From 67e30baf3d26e3fd27afe2141ebf26e30a06982d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 18 May 2012 01:33:56 +0000
Subject: [PATCH] fix a bug with pretty printer of match in scala format
---
src/main/scala/leon/purescala/ScalaPrinter.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 689e3c394..6018de2ca 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
}
--
GitLab