From 1125b6d96bae191c220a68cc91e1ece2d4c101a5 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Tue, 22 Sep 2015 15:29:56 +0200
Subject: [PATCH] Added set matchers for quantification
---
src/main/scala/leon/purescala/Quantification.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/purescala/Quantification.scala b/src/main/scala/leon/purescala/Quantification.scala
index 34392526d..847076f8b 100644
--- a/src/main/scala/leon/purescala/Quantification.scala
+++ b/src/main/scala/leon/purescala/Quantification.scala
@@ -81,7 +81,7 @@ object Quantification {
case Application(e, args) => Some(e -> args)
case ArraySelect(arr, index) => Some(arr -> Seq(index))
case MapApply(map, key) => Some(map -> Seq(key))
- // case ElementOfSet(set, elem) => Some(set -> Seq(elem))
+ case ElementOfSet(elem, set) => Some(set -> Seq(elem))
case _ => None
}
}
--
GitLab