From 840a93f0734e141bb9140f03d608b73ecc726d9d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com> Date: Mon, 26 Mar 2012 01:18:26 +0000 Subject: [PATCH] still more readable pretty printing --- src/main/scala/leon/purescala/PrettyPrinter.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala index 1edb130e7..7df4adbec 100644 --- a/src/main/scala/leon/purescala/PrettyPrinter.scala +++ b/src/main/scala/leon/purescala/PrettyPrinter.scala @@ -82,6 +82,7 @@ object PrettyPrinter { sb.append("\n") pp(fd, sb, lvl) sb.append("\n") + sb.append("\n") ind(sb, lvl) pp(e, sb, lvl) sb @@ -105,7 +106,7 @@ object PrettyPrinter { sb.append("\n") }) ind(sb, lvl) - sb.append("}") + sb.append("}\n") sb } case Assignment(lhs, rhs) => ppBinary(sb, lhs.toVariable, rhs, " = ", lvl) -- GitLab