From 8801a2304d54e687dafc8614af38f69ada2cbee1 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 7 Jan 2019 14:09:58 +0100
Subject: plugin_tutorial: ignore Coqlib.find_reference deprecation warning.

Not sure what the right solution is here, but we can improve after the merge.
---
 doc/plugin_tutorial/tuto3/src/tuto_tactic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/plugin_tutorial/tuto3/src/tuto_tactic.ml')

diff --git a/doc/plugin_tutorial/tuto3/src/tuto_tactic.ml b/doc/plugin_tutorial/tuto3/src/tuto_tactic.ml
index 9818867621..8f2c387d09 100644
--- a/doc/plugin_tutorial/tuto3/src/tuto_tactic.ml
+++ b/doc/plugin_tutorial/tuto3/src/tuto_tactic.ml
@@ -7,9 +7,9 @@ let constants = ref ([] : EConstr.t list)
  c_U *)
 let collect_constants () =
   if (!constants = []) then
-    let open Coqlib in
     let open EConstr in
     let open UnivGen in
+    let find_reference = Coqlib.find_reference [@ocaml.warning "-3"] in
     let gr_H = find_reference "Tuto3" ["Tuto3"; "Data"] "pack" in
     let gr_M = find_reference "Tuto3" ["Tuto3"; "Data"] "packer" in
     let gr_R = find_reference "Tuto3" ["Coq"; "Init"; "Datatypes"] "pair" in
-- 
cgit v1.2.3