aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/hashset.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/hashset.ml')
-rw-r--r--lib/hashset.ml4
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;