diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 9dbcf09895c76030c01cff8c6048aa49ddc16c0a..ee545d9ab73cbdff03a15f89d86f0ec355799a8b 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -179,8 +179,8 @@ class PrettyPrinter(opts: PrinterOptions, val sb: StringBuffer = new StringBuffe
         p"$id"
 
       case Let(b,d,e) =>
-        optB { e match {
-          case _:LetDef | _ : Let | LetPattern(_,_,_) =>
+        optB { d match {
+          case _:LetDef | _ : Let | LetPattern(_,_,_) | _:Assert =>
             p"""|val $b = {
                 |  $d
                 |}