Mise en place d'un choix constr/typed_type en remplacement de certains Cast

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@484 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/kernel/declarations.ml b/kernel/declarations.ml
index d97bb916b..a48384389 100644
--- a/kernel/declarations.ml
+++ b/kernel/declarations.ml
@@ -47,7 +47,7 @@ type recarg =
 type one_inductive_body = {
   mind_consnames : identifier array;
   mind_typename : identifier;
-  mind_lc : constr array;
+  mind_lc : typed_type array;
   mind_arity : typed_type;
   mind_sort : sorts;
   mind_nrealargs : int;