From e148fce6fa35cc1bd3041ce18c87f5573f5bd596 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 13 Oct 1999 12:34:30 +0000
Subject:  - re-introduction d'une evar_map dans unsafe_env  - les var. ex.
 sont des entiers, et non plus des section_path

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

(limited to 'kernel/term.ml')

diff --git a/kernel/term.ml b/kernel/term.ml
index edc735ea7a..a1232ab5a9 100644
--- a/kernel/term.ml
+++ b/kernel/term.ml
@@ -19,7 +19,7 @@ type 'a oper =
   | Cast | Prod | Lambda
   (* DOPN *)
   | AppL | Const of section_path | Abst of section_path
-  | Evar of section_path
+  | Evar of int
   | MutInd of section_path * int
   | MutConstruct of (section_path * int) * int
   | MutCase of case_info
@@ -480,7 +480,7 @@ type kindOfTerm =
   | IsAppL         of constr array
   | IsConst        of section_path * constr array 
   | IsAbst         of section_path * constr array
-  | IsEvar         of section_path * constr array
+  | IsEvar         of int * constr array
   | IsMutInd       of section_path * int * constr array 
   | IsMutConstruct of section_path * int * int * constr array 
   | IsMutCase      of case_info * constr * constr * constr array
-- 
cgit v1.2.3