diff --git a/src/plugins/alias/src/API.mli b/src/plugins/alias/src/API.mli
index d415b1699ac41171fa7e8ba17b2437bbd6c9fd5b..2d435abbefbd6b45128ee3d0a587e79d484ce1ff 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 69f194b08d12d2f779f4e5b61bd81d32440b0a92..ba87fe798d8e41ef73c6d4b569ef28cc36bb1e84 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