Fix some more foralls.

epfl-lara · Aug 20, 2020 · 7a46bba · 7a46bba
1 parent 6acedb1
commit 7a46bba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/frontends/library/stainless/collection/List.scala b/frontends/library/stainless/collection/List.scala
@@ -1300,7 +1300,7 @@ object ListSpecs {
     val intersection = first & second
     intersection.forall(first.contains) &&
       intersection.forall(second.contains) &&
-      forall((elem: T) => intersection.contains(elem) == (first.contains(elem) && second.contains(elem)))
+      intersection.forall(value => first.contains(value) && second.contains(value))
   }
 
   @opaque