Commit c843b660 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[kernel] Derive equality from compare in Logic_info_structural

parent 95341df4
......@@ -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
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment