From 51dd945944c6979bb0061618390a14af6356c946 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <ekneuss@gmail.com>
Date: Wed, 19 Dec 2012 09:57:45 +0100
Subject: [PATCH] Set contains e was wrongly printed as e contains Set
---
src/main/scala/leon/purescala/ScalaPrinter.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/ScalaPrinter.scala b/src/main/scala/leon/purescala/ScalaPrinter.scala
index 26a57c62c..e8e5bb9f7 100644
--- a/src/main/scala/leon/purescala/ScalaPrinter.scala
+++ b/src/main/scala/leon/purescala/ScalaPrinter.scala
@@ -141,7 +141,7 @@ object ScalaPrinter {
case FiniteSet(rs) => ppNary(sb, rs, "Set(", ", ", ")", lvl)
case FiniteMultiset(rs) => ppNary(sb, rs, "{|", ", ", "|}", lvl)
case EmptyMultiset(_) => sys.error("Not Valid Scala")
- case ElementOfSet(s,e) => ppBinary(sb, s, e, " contains ", lvl)
+ case ElementOfSet(e, s) => ppBinary(sb, s, e, " contains ", lvl)
//case ElementOfSet(s,e) => ppBinary(sb, s, e, " \u2208 ", lvl) // \in
//case SubsetOf(l,r) => ppBinary(sb, l, r, " \u2286 ", lvl) // \subseteq
//case Not(SubsetOf(l,r)) => ppBinary(sb, l, r, " \u2288 ", lvl) // \notsubseteq
--
GitLab