From 8562093a2337643164670d59d397771b1c881e5b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 31 Jul 2019 12:30:20 +0200
Subject: [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
---
 clib/hashset.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'clib')

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;
-- 
cgit v1.2.3