From 7ed2664ed439b742eb7f723c564548b961c564a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 4 Oct 2022 16:34:39 +0200
Subject: [PATCH] [Eva] Fixes the hash of the octagon domain.
---
src/plugins/eva/domains/octagons.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/eva/domains/octagons.ml b/src/plugins/eva/domains/octagons.ml
index 39207b53d0a..8c0272ba683 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 } =
--
GitLab