From 67f5c70a480c95cfb819fc68439781b5e5e95794 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Fri, 14 Dec 2012 15:56:25 +0000
Subject: Modulification of identifier

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16071 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 checker/term.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'checker/term.ml')

diff --git a/checker/term.ml b/checker/term.ml
index 0c3fc741d..6bafeda7f 100644
--- a/checker/term.ml
+++ b/checker/term.ml
@@ -88,7 +88,7 @@ let val_cast = val_enum "cast_kind" 2
 
 type constr =
   | Rel       of int
-  | Var       of identifier
+  | Var       of Id.t
   | Meta      of metavariable
   | Evar      of constr pexistential
   | Sort      of sorts
@@ -318,7 +318,7 @@ let val_rdecl =
 let val_nctxt = val_list val_ndecl
 let val_rctxt = val_list val_rdecl
 
-type named_declaration = identifier * constr option * constr
+type named_declaration = Id.t * constr option * constr
 type rel_declaration = name * constr option * constr
 
 type named_context = named_declaration list
-- 
cgit v1.2.3