From e7e3714f0fd0e791501acccca3317ed8175c4815 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 22 Jun 2018 14:08:49 +0200
Subject: Deprecate Environ.retroknowledge function in favor of the projection

---
 kernel/safe_typing.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/safe_typing.mli')

diff --git a/kernel/safe_typing.mli b/kernel/safe_typing.mli
index 4078a9092d..aca77ccd13 100644
--- a/kernel/safe_typing.mli
+++ b/kernel/safe_typing.mli
@@ -221,6 +221,7 @@ val delta_of_senv :
 open Retroknowledge
 
 val retroknowledge : (retroknowledge-> 'a) -> safe_environment -> 'a
+[@@ocaml.deprecated "Use the projection of Environ.env"]
 
 val register :
   field -> Retroknowledge.entry -> Constr.constr -> safe_transformer0
-- 
cgit v1.2.3