diff options
| author | Pierre-Marie Pédrot | 2013-11-23 18:58:02 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-11-24 00:04:10 +0100 |
| commit | a000b714412e4b1f48bf3ffe1479cf6589874b47 (patch) | |
| tree | 5c15ee942d26ff785fc993ac3192170406d1ea02 /lib/hashset.ml | |
| parent | c022a4a8faa9c8c7deb28744c779847d621d2b0c (diff) | |
Tweaking arity & allocation of some basic functions.
Diffstat (limited to 'lib/hashset.ml')
| -rw-r--r-- | lib/hashset.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/hashset.ml b/lib/hashset.ml index 279beb1c99..8c40e55001 100644 --- a/lib/hashset.ml +++ b/lib/hashset.ml @@ -73,7 +73,9 @@ module Make (E : EqType) = | true -> f b t.hashes.(j) i; iter_bucket (i+1) j b | false -> iter_bucket (i+1) j b in - Array.iteri (iter_bucket 0) t.table + for i = 0 to pred (Array.length t.table) do + iter_bucket 0 i (Array.unsafe_get t.table i) + done let rec count_bucket i b accu = if i >= Weak.length b then accu else |