diff --git a/src/plugins/e-acsl/src/analyses/lscope.ml b/src/plugins/e-acsl/src/analyses/lscope.ml
index 028975a80ec08477a3ccf59b476897ab3ab131a5..331cb1c4ca5fcdb9877faa9deddeba3b61d1c470 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