diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 39207b53d0af7da8e04122ea5ee50b78ad9e5e24..8c0272ba68317a3f6d20c8c3a0eefed3d9e3cda0 100644
--- a/src/plugins/eva/domains/octagons.ml
+++ b/src/plugins/eva/domains/octagons.ml
@@ -803,7 +803,7 @@ module State = struct
 
         let hash t =
           Hashtbl.hash (Octagons.hash t.octagons,
-                        Relations.hash t.relations,
+                        Intervals.hash t.intervals,
                         Zone.hash t.modified)
 
         let pretty fmt { octagons } =