From 11e23475929a785b29f7a00f8f9c2ff60dd9e441 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Fri, 3 Jul 2015 16:42:12 +0200
Subject: [PATCH] Indent correctly when empty body
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index a7ead369a..32a56fcfc 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -527,7 +527,7 @@ class PrettyPrinter(opts: PrinterOptions,
p" $b"
case None =>
- p"???"
+ p" ???"
}
p"""|
--
GitLab