Merge PR #860: use Int.equal instead of polymorphic =

1 files changed, 1 insertions, 1 deletions

diff --git a/lib/hashset.ml b/lib/hashset.ml
index 23ac2fed09..7f96627a68 100644
--- a/lib/hashset.ml
+++ b/lib/hashset.ml
@@ -181,7 +181,7 @@ module Make (E : EqType) =
     let sz = Weak.length bucket in
     let rec loop i =
       if i >= sz then ifnotfound index
-      else if h = hashes.(i) then begin
+      else if Int.equal h hashes.(i) then begin
         match Weak.get bucket i with
         | Some v when E.eq v d -> v
         | _ -> loop (i + 1)