From 18384fd3eeda18a5a18c9b3c77e87032a7f16cda Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 17 Jun 2015 21:04:19 +0200
Subject: [PATCH] Fix an error in printing
---
src/main/scala/leon/purescala/PrettyPrinter.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/purescala/PrettyPrinter.scala b/src/main/scala/leon/purescala/PrettyPrinter.scala
index 9dbcf0989..ee545d9ab 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
|}
--
GitLab