diff options
Diffstat (limited to 'pretyping/evarutil.ml')
-rw-r--r-- | pretyping/evarutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/evarutil.ml b/pretyping/evarutil.ml index d7013aca8..77ea20e15 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 |