Make SetDomain hash non-commutative

goblint · Jul 30, 2024 · bc85d30 · bc85d30
1 parent e5f097c
commit bc85d30
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/domain/setDomain.ml b/src/domain/setDomain.ml
@@ -184,7 +184,7 @@ struct
     end
     )
 
-  let hash x = fold (fun x y -> y + Base.hash x) x 0
+  let hash x = fold (fun x y -> 13 * y + Base.hash x) x 0
 
   let relift x = map Base.relift x