From 231f1e04141d456f88b87b9a0fa8b645da1b3f41 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Thu, 14 Mar 2024 11:54:01 +0100
Subject: [PATCH] [alias] correctly expose the graph's edge label type

---
 src/plugins/alias/src/API.mli            | 2 +-
 src/plugins/alias/src/abstract_state.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/plugins/alias/src/API.mli b/src/plugins/alias/src/API.mli
index d415b1699ac..2d435abbefb 100644
--- a/src/plugins/alias/src/API.mli
+++ b/src/plugins/alias/src/API.mli
@@ -37,7 +37,7 @@ module EdgeLabel : sig
   val pretty : Format.formatter -> t -> unit
 end
 
-module G : Graph.Sig.G with type V.t = int and type E.t = int * EdgeLabel.t * int
+module G : Graph.Sig.G with type V.t = int and type E.label = EdgeLabel.t
 
 type v = G.V.t
 
diff --git a/src/plugins/alias/src/abstract_state.mli b/src/plugins/alias/src/abstract_state.mli
index 69f194b08d1..ba87fe798d8 100644
--- a/src/plugins/alias/src/abstract_state.mli
+++ b/src/plugins/alias/src/abstract_state.mli
@@ -36,7 +36,7 @@ module EdgeLabel : sig
   val pretty : Format.formatter -> t -> unit
 end
 
-module G: Graph.Sig.G with type V.t = int and type E.t = int * EdgeLabel.t * int
+module G: Graph.Sig.G with type V.t = int and type E.label = EdgeLabel.t
 
 module LSet = Cil_datatype.LvalStructEq.Set
 module VarSet = Cil_datatype.Varinfo.Set
-- 
GitLab