From 8e573766893da2287f36111d68a21792c045cf14 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Wed, 5 Jul 2017 11:32:50 -0400
Subject: use Int.equal instead of polymorphic =

---
 lib/hashset.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

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)
-- 
cgit v1.2.3