summaryrefslogtreecommitdiffstats
path: root/stdlib/weak.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
committerAlain Frisch <alain@frisch.fr>2012-05-29 11:47:28 +0000
commita0a14c08fa467bc6a40b268f0dbba9568e241e17 (patch)
tree0a248584e83daee65471533c0d5c34252c333527 /stdlib/weak.ml
parent05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 (diff)
Enable and fix more warnings.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/weak.ml')
-rw-r--r--stdlib/weak.ml2
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