From 453c1b60a5a4bf1bb1d66cb678c67ae193a82ad5 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Mon, 26 Feb 2024 17:10:29 +0100
Subject: [PATCH] [alias] Abstract_state: cosmetics
---
src/plugins/alias/src/abstract_state.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/alias/src/abstract_state.ml b/src/plugins/alias/src/abstract_state.ml
index 5c4c0560f82..74ef6f75e17 100644
--- a/src/plugins/alias/src/abstract_state.ml
+++ b/src/plugins/alias/src/abstract_state.ml
@@ -35,7 +35,7 @@ module LMap = Cil_datatype.LvalStructEq.Map
module G = Graph.Persistent.Digraph.ConcreteBidirectional(Datatype.Int)
module V = G.V
-let vid (v : G.V.t) : int = v
+let vid (v : V.t) : int = v
(* like LMap, but organized with offset and specialized functions *)
module LLMap =
@@ -323,7 +323,7 @@ let rec closure_find_lset (v:V.t) (x:t) : (V.t * LSet.t) list =
| [v_next] -> (v, find_lset v x)::(closure_find_lset v_next x)
| _ -> Options.fatal ("this shall not happen (invariant broken)")
-let find_transitive_closure (lv:lval) (x:t) : (G.V.t * LSet.t) list =
+let find_transitive_closure (lv:lval) (x:t) : (V.t * LSet.t) list =
let lv = Lval.simplify lv in
assert_invariants x;
try closure_find_lset (LLMap.find lv x.lmap) x with Not_found -> []
--
GitLab