From 2e1048a9e721a7909b669f5fc3b19a2676aaf887 Mon Sep 17 00:00:00 2001
From: puech
Date: Fri, 29 Jul 2011 14:24:38 +0000
Subject: Evarutil: generic equality on constr replaced by eq_constr

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

diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml
index d7013aca8f..77ea20e153 100644
--- a/pretyping/evarutil.ml
+++ b/pretyping/evarutil.ml
@@ -671,7 +671,7 @@ let rec assoc_up_to_alias sigma aliases y yc = function
   | [] -> raise Not_found
   | (c,cc,id)::l ->
       let c' = whd_evar sigma c in
-      if y = c' then id
+      if eq_constr y c' then id
       else
 	if l <> [] then assoc_up_to_alias sigma aliases y yc l
 	else
-- 
cgit v1.2.3