diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-01 08:20:00 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-12-01 08:20:00 +0000 |
| commit | b91ae6a8900b368af0a3acc0a61a8af0db783991 (patch) | |
| tree | 83655138d0dfc193b046f34c63150ff9d187b9e4 /proofs/evar_refiner.mli | |
| parent | dda7c7bb0b6ea0c2106459d8ae208eff0dfd6738 (diff) | |
- environment -> safe_environment
- unsafe_env -> env
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@168 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'proofs/evar_refiner.mli')
| -rw-r--r-- | proofs/evar_refiner.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/evar_refiner.mli b/proofs/evar_refiner.mli index 0f121a9f2..47bba83fa 100644 --- a/proofs/evar_refiner.mli +++ b/proofs/evar_refiner.mli @@ -37,7 +37,7 @@ val w_Declare_At : evar -> evar -> constr -> w_tactic val w_Define : evar -> constr -> w_tactic val w_Underlying : walking_constraints -> evar_declarations -val w_env : walking_constraints -> unsafe_env +val w_env : walking_constraints -> env val w_type_of : walking_constraints -> constr -> constr val w_add_sign : (identifier * typed_type) -> walking_constraints -> walking_constraints |