From 0d6448eb334ed7de2c0fedd5d7323cd87a30c0f3 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 12:03:38 +0200
Subject: [PATCH] Stop printing one-case matches differently
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 43544f617..94ac2fd66 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -340,7 +340,7 @@ class PrettyPrinter(opts: PrinterOptions,
|}"""
}
- case LetPattern(p,s,rhs) =>
+ /*case LetPattern(p,s,rhs) =>
if (isSimpleExpr(s)) {
p"""|val $p = $s
|$rhs"""
@@ -350,7 +350,7 @@ class PrettyPrinter(opts: PrinterOptions,
|}
|$rhs"""
}
-
+ */
case MatchExpr(s, csc) =>
optP {
p"""|$s match {
--
GitLab