From c843b6604e3d8b25bd6351a4afd7ada1b93f94ef Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 5 Jun 2019 19:12:03 +0200
Subject: [PATCH] [kernel] Derive equality from compare in
Logic_info_structural
---
src/kernel_services/ast_queries/cil_datatype.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/cil_datatype.ml b/src/kernel_services/ast_queries/cil_datatype.ml
index 0b85d1766cf..86342ad91af 100644
--- a/src/kernel_services/ast_queries/cil_datatype.ml
+++ b/src/kernel_services/ast_queries/cil_datatype.ml
@@ -1390,7 +1390,7 @@ module Logic_info_structural = struct
compare_list prm_cmp i1.l_profile i2.l_profile
end
- let equal i1 i2 = Logic_var.equal i1.l_var_info i2.l_var_info
+ let equal = Datatype.from_compare
let hash i = Logic_var.hash i.l_var_info
let copy = Datatype.undefined
let internal_pretty_code = Datatype.undefined
--
GitLab