exists -> mem

goblint · Jan 10, 2025 · c1d1a07 · c1d1a07
1 parent f977c4d
commit c1d1a07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomain/value/cdomains/intDomain0.ml b/src/cdomain/value/cdomains/intDomain0.ml
@@ -575,7 +575,7 @@ module IntervalArith (Ints_t : IntOps.IntOps) = struct
   let is_threshold t ts =
     let ts = find_thresholds ts in
     let t = Ints_t.to_bigint t in
-    WideningThresholds.Thresholds.exists (Z.equal t) ts
+    WideningThresholds.Thresholds.mem t ts
 
   let is_upper_threshold u = is_threshold u WideningThresholds.upper_thresholds
   let is_lower_threshold l = is_threshold l WideningThresholds.lower_thresholds