From 87d5e79baea4f3679a1429d2a2e128b564eec5d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 15:59:06 +0200
Subject: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0

---
 parsing/pcoq.mli | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

(limited to 'parsing')

diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index e12ccaa636..c21f8f0d9a 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -26,14 +26,10 @@ module Gram : sig
   type 'a entry = 'a Entry.e
   [@@ocaml.deprecated "Use [Pcoq.Entry.t]"]
 
-  [@@@ocaml.warning "-3"]
-
-  val entry_create : string -> 'a entry
+  val entry_create : string -> 'a Entry.e
   [@@ocaml.deprecated "Use [Pcoq.Entry.create]"]
 
-  val gram_extend : 'a entry -> 'a Extend.extend_statement -> unit
-
-  [@@@ocaml.warning "+3"]
+  val gram_extend : 'a Entry.e -> 'a Extend.extend_statement -> unit
 
 end with type 'a Entry.e = 'a Grammar.GMake(CLexer).Entry.e
 
-- 
cgit v1.2.3