From a184d54b95c40bc2890fc91f236bbdf983ebc83d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 28 Apr 2006 12:24:14 +0000
Subject: Standardisation du nom des méthodes de Evd

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8759 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/unification.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/unification.ml')

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) =
-- 
cgit v1.2.3