From a03cd054d645e2268bfa35f9ef0c14b0ac8da466 Mon Sep 17 00:00:00 2001
From: Samuel Chassot <14821693+samuelchassot@users.noreply.github.com>
Date: Tue, 3 Dec 2024 13:57:36 +0100
Subject: [PATCH] Change polarity of Set to Positive in TypeChecker (#1602)

* Change polarity of Set to Positive in TypeChecker

* strictly positive
---
 core/src/main/scala/stainless/verification/TypeChecker.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/src/main/scala/stainless/verification/TypeChecker.scala b/core/src/main/scala/stainless/verification/TypeChecker.scala
index 10649fdc2..34eea759f 100644
--- 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 {