From 3068e6ec31714c5a13098393a1ca5f9bd16baa33 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 3 Feb 2016 19:36:37 +0100
Subject: [PATCH] Fix PrettyPrinter, LetDef cannot contain 0 functions anymore
---
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 99663384d..039bef507 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"""
--
GitLab