diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 8dae2f8b72b41c410d25b335c65c182ae774b50b..1edb130e7923bed3bc3864dfba5e95bf611fb4f5 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -112,8 +112,10 @@ object PrettyPrinter {
     case While(cond, body) => {
       sb.append("while(")
       pp(cond, sb, lvl)
-      sb.append(") ")
-      pp(body, sb, lvl)
+      sb.append(")\n")
+      ind(sb, lvl+1)
+      pp(body, sb, lvl+1)
+      sb.append("\n")
     }
 
     case Tuple(exprs) => ppNary(sb, exprs, "(", ", ", ")", lvl)