diff --git a/src/main/scala/leon/purescala/Quantification.scala b/src/main/scala/leon/purescala/Quantification.scala
index 34392526d76ed4162510eddb2b685d06b3cd6c0f..847076f8b4e0cc5878a2f4b448e3880215148007 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
     }
   }