diff options
| author | herbelin | 2013-01-29 18:15:05 +0000 |
|---|---|---|
| committer | herbelin | 2013-01-29 18:15:05 +0000 |
| commit | 4929fa8a5b65bd90207f3a943227ed09a7ed0b6c (patch) | |
| tree | aad22ead3b6b4f7abbf16c7eb70daec19abab457 /pretyping/evarconv.ml | |
| parent | 250a3dfc1f46f9f705c471445a416476099ecc5d (diff) | |
Renaming evar_env/evar_unfiltered_env into evar_filtered_env/evar_env
for better uniformity of naming policy.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16172 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/evarconv.ml')
| -rw-r--r-- | pretyping/evarconv.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarconv.ml b/pretyping/evarconv.ml index 52ef446722..ca5ed190fc 100644 --- a/pretyping/evarconv.ml +++ b/pretyping/evarconv.ml @@ -636,7 +636,7 @@ let second_order_matching ts env_rhs evd (evk,args) argoccs rhs = try let args = Array.to_list args in let evi = Evd.find_undefined evd evk in - let env_evar = evar_env evi in + let env_evar = evar_filtered_env evi in let sign = named_context_val env_evar in let ctxt = evar_filtered_context evi in let filter = evar_filter evi in |