diff options
Diffstat (limited to 'pretyping/typeclasses.ml')
| -rw-r--r-- | pretyping/typeclasses.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml index a1cb232ca0..b5735bc646 100644 --- a/pretyping/typeclasses.ml +++ b/pretyping/typeclasses.ml @@ -506,7 +506,7 @@ let has_typeclasses filter evd = let check ev evi = filter ev (snd evi.evar_source) && is_class_evar evd evi && is_resolvable evi in - Evd.ExistentialMap.exists check (Evd.undefined_map evd) + Evar.Map.exists check (Evd.undefined_map evd) let solve_instanciations_problem = ref (fun _ _ _ _ _ -> assert false) |