diff options
Diffstat (limited to 'lib/hashset.ml')
-rw-r--r-- | lib/hashset.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hashset.ml b/lib/hashset.ml index 6f62e1a90..279beb1c9 100644 --- a/lib/hashset.ml +++ b/lib/hashset.ml @@ -51,8 +51,8 @@ module Make (E : EqType) = let sz = if sz < 7 then 7 else sz in let sz = if sz > Sys.max_array_length then Sys.max_array_length else sz in { - table = Array.create sz emptybucket; - hashes = Array.create sz [| |]; + table = Array.make sz emptybucket; + hashes = Array.make sz [| |]; limit = limit; oversize = 0; rover = 0; |