diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 43544f617e097883879a134828a580386729dbbd..94ac2fd669f09449a7c0bad27044f0af9e43db86 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 {