diff options
Diffstat (limited to 'stdlib/weak.ml')
| -rw-r--r-- | stdlib/weak.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/weak.ml b/stdlib/weak.ml index bbd3debc4..ab0bab0f6 100644 --- a/stdlib/weak.ml +++ b/stdlib/weak.ml @@ -209,7 +209,7 @@ module Make (H : Hashtbl.HashedType) : (S with type data = H.t) = struct t.hashes.(index) <- newhashes; if sz <= t.limit && newsz > t.limit then begin t.oversize <- t.oversize + 1; - for i = 0 to over_limit do test_shrink_bucket t done; + for _i = 0 to over_limit do test_shrink_bucket t done; end; if t.oversize > Array.length t.table / over_limit then resize t; end else if check bucket i then begin |