simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-24 02:16:41 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix

Browse source
This commit is contained in:
Simon Cruanes 2020-10-10 16:39:25 -04:00
parent e9931b377c
commit 7a74ec45b7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/cc/Sidekick_cc.ml
View file

@ -59,7 +59,7 @@ module Make (A: CC_ARG)
let[@inline] set field b x =
if b then x lor field else x land (lnot field)
let merge = (lor)
let equal : t -> t -> bool = Pervasives.(=)
let equal : t -> t -> bool = CCEqual.poly
end
(** A node of the congruence closure.