Change polarity of Set to Positive in TypeChecker (#1602)

* Change polarity of Set to Positive in TypeChecker * strictly positive
epfl-lara · Dec 3, 2024 · a03cd05 · a03cd05
1 parent 50fac15
commit a03cd05
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core/src/main/scala/stainless/verification/TypeChecker.scala b/core/src/main/scala/stainless/verification/TypeChecker.scala
@@ -152,7 +152,7 @@ class TypeChecker(val program: StainlessProgram, val context: inox.Context, val
   }
 
   case object SetEdge extends Edge {
-    def polarity(polarities: mutable.Map[(Identifier,Identifier),Polarity]) = Nothing
+    def polarity(polarities: mutable.Map[(Identifier,Identifier),Polarity]) = StrictlyPositive
   }
 
   case object BagEdge extends Edge {