From 984e6a2b95b0b44b21d82577922cc973cae2df36 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 23 Sep 2015 15:21:15 +0200
Subject: [PATCH] Fix Printer
---
src/main/scala/leon/purescala/ScalaPrinter.scala | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 6c5be9d2c..dc987ae49 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -28,7 +28,7 @@ class ScalaPrinter(opts: PrinterOptions,
case Choose(pred) => p"choose($pred)"
case s @ FiniteSet(rss, t) => p"Set[$t](${rss.toSeq})"
- case ElementOfSet(e,s) => p"$s.contains(e)"
+ case ElementOfSet(e,s) => p"$s.contains($e)"
case SetUnion(l,r) => optP { p"$l ++ $r" }
case SetDifference(l,r) => optP { p"$l -- $r" }
case SetIntersection(l,r) => optP { p"$l & $r" }
@@ -66,6 +66,10 @@ class ScalaPrinter(opts: PrinterOptions,
}
case Not(expr) => p"!$expr"
+ case Forall(args, bd) =>
+ p"""|forall(($args) =>
+ | $bd
+ |)"""
case _ =>
super.pp(tree)
}
--
GitLab