diff options
Diffstat (limited to 'pretyping/typeclasses.ml')
| -rw-r--r-- | pretyping/typeclasses.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pretyping/typeclasses.ml b/pretyping/typeclasses.ml index 8fe06539c6..be335ac913 100644 --- a/pretyping/typeclasses.ml +++ b/pretyping/typeclasses.ml @@ -480,9 +480,10 @@ let mark_resolvability_undef b evi = let mark_resolvability b evi = assert (evi.evar_body = Evar_empty); - mark_resolvability_undef false evi + mark_resolvability_undef b evi let mark_unresolvable evi = mark_resolvability false evi +let mark_resolvable evi = mark_resolvability true evi let mark_resolvability b sigma = Evd.fold_undefined (fun ev evi evs -> |