Change polarity of Set to Positive in TypeChecker

epfl-lara · Nov 13, 2024 · 4c48f27 · 4c48f27
1 parent 818eff8
commit 4c48f27
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]) = Positive
   }
 
   case object BagEdge extends Edge {