From ed3e5e036ee72f40ffca92775339dcc227d58f79 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Mon, 1 Oct 2018 13:43:36 +0200
Subject: adapts to master on Oct. 1st 2018, but warnings remain

---
 tuto3/src/tuto_tactic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tuto3')

diff --git a/tuto3/src/tuto_tactic.ml b/tuto3/src/tuto_tactic.ml
index fbb6863f7e..3e926ad7f2 100644
--- a/tuto3/src/tuto_tactic.ml
+++ b/tuto3/src/tuto_tactic.ml
@@ -9,7 +9,7 @@ let collect_constants () =
   if (!constants = []) then
     let open Coqlib in
     let open EConstr in
-    let open Universes in
+    let open UnivGen 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