Use SetDomain instead of PartitionDomain.Set in RS

goblint · Sep 15, 2023 · cc781cc · cc781cc
1 parent 73ebb09
commit cc781cc
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/cdomains/regionDomain.ml b/src/cdomains/regionDomain.ml
@@ -6,14 +6,8 @@ open MusteqDomain
 
 module B = Lattice.UnitConf (struct let name = "•" end)
 
-module VFB =
-struct
-  include B
-  let collapse (x:t) (y:t): bool = true
-end
-
 module RS = struct
-  include PartitionDomain.Set (VFB)
+  include SetDomain.Make (B)
   let single_bullet = singleton ()
   let remove_bullet x = remove () x
   let has_bullet x = not (is_empty x)