From c74ead36e32c49dbbf030083ba150e10bb1c74cf Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Fri, 11 May 2018 11:34:35 +0200
Subject: Use the more colloquial EConstr.t type instead of EConstr.constr

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

diff --git a/tuto3/src/construction_game.ml b/tuto3/src/construction_game.ml
index df761b4505..c893952d6a 100644
--- a/tuto3/src/construction_game.ml
+++ b/tuto3/src/construction_game.ml
@@ -63,7 +63,7 @@ let example_sort_app_lambda () =
        str " has type " ++
        (Termops.print_constr_env env evd the_type))
 
-let constants = ref ([] : EConstr.constr list)
+let constants = ref ([] : EConstr.t list)
 
 let collect_constants () =
   if (!constants = []) then
-- 
cgit v1.2.3