From d5726d8d17cf85c55fb0facd61197b22ca8b8415 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 30 Jan 2020 17:27:14 +0100
Subject: [PATCH] [Eva] Eval_term: uses Cil_datatype.Logic_var.Map.
---
src/plugins/value/legacy/eval_terms.ml | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/legacy/eval_terms.ml b/src/plugins/value/legacy/eval_terms.ml
index 02994f383ca..cc731160df4 100644
--- a/src/plugins/value/legacy/eval_terms.ml
+++ b/src/plugins/value/legacy/eval_terms.ml
@@ -171,12 +171,10 @@ let join_label_states m1 m2 =
maps from their int identifiers to cvalues representing an over-approximation
of their values (either mathematical integers or mathematical reals). *)
module LogicVarEnv = struct
- include Datatype.Int.Map
+ include Cil_datatype.Logic_var.Map
- let add logic_var cvalue map = add logic_var.lv_id cvalue map
- let remove logic_var map = remove logic_var.lv_id map
let find logic_var map =
- try find logic_var.lv_id map
+ try find logic_var map
with Not_found -> unsupported_lvar logic_var
let join m1 m2 =
--
GitLab