diff options
Diffstat (limited to 'pretyping/unification.ml')
| -rw-r--r-- | pretyping/unification.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/unification.ml b/pretyping/unification.ml index 0c5d7d6726..f231c728b3 100644 --- a/pretyping/unification.ml +++ b/pretyping/unification.ml @@ -259,7 +259,7 @@ let w_merge env with_types mod_delta metas evars evd = end and mimick_evar evd mod_delta hdc nargs sp = - let ev = Evd.map (evars_of evd) sp in + let ev = Evd.find (evars_of evd) sp in let sp_env = Global.env_of_context ev.evar_hyps in let (evd', c) = applyHead sp_env evd nargs hdc in let (mc,ec) = |