A patch renaming equal into eq in the module dealing with

hash-consing, so as to avoid having too many kinds of equalities with
same name.

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/hashset.ml b/lib/hashset.ml
index 6fb78f9a45..04009fdf3c 100644
--- a/lib/hashset.ml
+++ b/lib/hashset.ml
@@ -16,7 +16,7 @@
 
 module type EqType = sig
   type t
-  val equal : t -> t -> bool
+  val eq : t -> t -> bool
 end
 
 type statistics = {
@@ -183,7 +183,7 @@ module Make (E : EqType) =
       if i >= sz then ifnotfound index
       else if h = hashes.(i) then begin
         match Weak.get bucket i with
-        | Some v when E.equal v d -> v
+        | Some v when E.eq v d -> v
         | _ -> loop (i + 1)
       end else loop (i + 1)
     in