diff options
| author | Emilio Jesus Gallego Arias | 2019-07-31 12:30:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-09-19 13:30:05 +0200 |
| commit | 8562093a2337643164670d59d397771b1c881e5b (patch) | |
| tree | 8940d693f47673166d11ca95d8b47f0bb5cf4cdf /clib | |
| parent | c5ecc185ccb804e02ef78012fc6ae38c092cc80a (diff) | |
[ocaml] Allow building with deprecated Obj primitives.
We allow the build to use some deprecated primitives in OCaml
4.09.0, for more details see bug #10602
Diffstat (limited to 'clib')
| -rw-r--r-- | clib/hashset.ml | 4 |
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; |
