From bf1e64fc3a79e2eff49aaeeaa966516b11f1cd9f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 19 Nov 2017 08:37:45 +0100
Subject: [api] Re-enable deprecation warnings.

With a bit of care we can enable full deprecation warnings again in
this funny file.
---
 API/API.ml | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'API/API.ml')

diff --git a/API/API.ml b/API/API.ml
index 78d9c0c26e..378c03ee4f 100644
--- a/API/API.ml
+++ b/API/API.ml
@@ -20,10 +20,6 @@
 (******************************************************************************)
 module Coq_config = Coq_config
 
-(* Reexporting deprecated symbols throu module aliases triggers a
-   warning in 4.06.0 *)
-[@@@ocaml.warning "-3"]
-
 (******************************************************************************)
 (* Kernel *)
 (******************************************************************************)
-- 
cgit v1.2.3