aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
diff options
context:
space:
mode:
authorGravatar Paul Steckler <steck@stecksoft.com>2017-07-05 11:32:50 -0400
committerGravatar Paul Steckler <steck@stecksoft.com>2017-07-05 11:32:50 -0400
commit8e573766893da2287f36111d68a21792c045cf14 (patch)
treead05760e4f95488338262e28b65a74a35c1c0633 /lib
parent38a749767b74c1fc67d02948efd13ea8c5cbcd0b (diff)
use Int.equal instead of polymorphic =
Diffstat (limited to 'lib')
-rw-r--r--lib/hashset.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hashset.ml b/lib/hashset.ml
index 23ac2fed0..7f96627a6 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)