diff --git a/src/kernel_services/ast_queries/cil_datatype.ml b/src/kernel_services/ast_queries/cil_datatype.ml
index 0b85d1766cfcb80a0891aaf59c647298a88e4c86..86342ad91af642bd70d13ad73f8c8fa60a271444 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