From 534c7f452951480f84eaada80f1d166747c8429c Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 31 Jan 2022 11:13:13 +0100
Subject: [PATCH] [eacsl] Fix Lscope.compare
---
src/plugins/e-acsl/src/analyses/lscope.ml | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/src/analyses/lscope.ml b/src/plugins/e-acsl/src/analyses/lscope.ml
index 028975a80ec..331cb1c4ca5 100644
--- a/src/plugins/e-acsl/src/analyses/lscope.ml
+++ b/src/plugins/e-acsl/src/analyses/lscope.ml
@@ -135,11 +135,11 @@ module D = Datatype.Make(struct
in
let c =
if c <> 0 then c
- else compare lr1 lr2
+ else Stdlib.compare lr1 lr2
in
let c =
if c <> 0 then c
- else compare rr1 rr2
+ else Stdlib.compare rr1 rr2
in
c
| Lvs_formal (lv1, li1), Lvs_formal (lv2, li2) ->
@@ -154,6 +154,8 @@ module D = Datatype.Make(struct
lscope_vars1
lscope_vars2
+ let equal = Datatype.from_compare
+
let hash lscope =
let lscope_vars = get_all lscope in
hash_list
--
GitLab