From dca86959c1ae3d896736e40d7611bc1dbf4499ca Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 14 Sep 2015 11:14:16 +0200
Subject: [PATCH] Don't print excessive braces
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 83c1d29b7..22c8c174b 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -556,6 +556,8 @@ class PrettyPrinter(opts: PrinterOptions,
case Let(_, _, bd) => Seq(bd)
case LetDef(_, bd) => Seq(bd)
case Require(_, bd) => Seq(bd)
+ case IfExpr(_, t, e) => Seq(t, e) // If always has braces anyway
+ case Ensuring(_, pred) => Seq(pred)
case _ => Seq()
}
--
GitLab