1 files changed, 2 insertions, 6 deletions
diff --git a/lib/hashset.ml b/lib/hashset.ml
index f8d4274dee..edbf2c4b9e 100644
--- a/lib/hashset.ml
+++ b/lib/hashset.ml
@@ -174,12 +174,8 @@ module Make (E : EqType) =
     let rec loop i =
       if i >= sz then ifnotfound index
       else if h = hashes.(i) then begin
-        match Weak.get_copy bucket i with
-        | Some v when E.equal v d ->
-          begin match Weak.get bucket i with
-          | Some v -> v
-          | None -> loop (i + 1)
-          end
+        match Weak.get bucket i with
+        | Some v when E.equal v d -> v
         | _ -> loop (i + 1)
       end else loop (i + 1)
     in