diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 99663384d2f4058fc23ce52d253dd74f3bf5ea5f..039bef507339294874ad59e7e38dfe335b8f6a2f 100644
--- a/src/main/scala/leon/purescala/PrettyPrinter.scala
+++ b/src/main/scala/leon/purescala/PrettyPrinter.scala
@@ -11,6 +11,7 @@ import Extractors._
 import PrinterHelpers._
 import ExprOps.{isListLiteral, simplestValue}
 import Expressions._
+import Constructors._
 import Types._
 import org.apache.commons.lang3.StringEscapeUtils
 
@@ -92,7 +93,7 @@ class PrettyPrinter(opts: PrinterOptions,
 
       case LetDef(a::q,body) =>
         p"""|$a
-            |${LetDef(q, body)}"""
+            |${letDef(q, body)}"""
       case LetDef(Nil,body) =>
         p"""$body"""