From 7a74ec45b74793400e1a42e7254707e40fdac162 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 10 Oct 2020 16:39:25 -0400
Subject: [PATCH] fix

---
 src/cc/Sidekick_cc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/cc/Sidekick_cc.ml b/src/cc/Sidekick_cc.ml
index 09e4a999..74de8767 100644
--- a/src/cc/Sidekick_cc.ml
+++ b/src/cc/Sidekick_cc.ml
@@ -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.