aboutsummaryrefslogtreecommitdiff
path: root/clib
diff options
context:
space:
mode:
authorGaëtan Gilbert2019-10-02 16:41:11 +0200
committerGaëtan Gilbert2019-10-02 16:41:11 +0200
commitb6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (patch)
tree965d8872e7ddd3848c9e6f50d2efa4683803dd6c /clib
parent397fa7d34e100213855df7f3aa05ce4d497724e1 (diff)
parent58a20d7268608a701a4cd8f51baaa7ba42d23f82 (diff)
Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.
Reviewed-by: SkySkimmer Reviewed-by: Zimmi48
Diffstat (limited to 'clib')
-rw-r--r--clib/hashset.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/clib/hashset.ml b/clib/hashset.ml
index debfc15c9a..b7a245aed1 100644
--- a/clib/hashset.ml
+++ b/clib/hashset.ml
@@ -118,8 +118,8 @@ module Make (E : EqType) =
t.table.(t.rover) <- emptybucket;
t.hashes.(t.rover) <- [| |];
end else begin
- Obj.truncate (Obj.repr bucket) (prev_len + 1);
- Obj.truncate (Obj.repr hbucket) prev_len;
+ Obj.truncate (Obj.repr bucket) (prev_len + 1) [@ocaml.alert "--deprecated"];
+ Obj.truncate (Obj.repr hbucket) prev_len [@ocaml.alert "--deprecated"];
end;
if len > t.limit && prev_len <= t.limit then t.oversize <- t.oversize - 1;
end;