diff options
| author | Matthieu Sozeau | 2016-10-11 11:57:46 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2016-10-11 13:49:00 +0200 |
| commit | d226adf01f20ea946bbeac4d4c5cde75a4d77f32 (patch) | |
| tree | 982a186e48b8d94a04b231f19e651b89b5e85480 /kernel | |
| parent | 009718d9d0130a967261ae5d2484985522fc2f7c (diff) | |
Fix bug #5123: mark all shelved evars unresolvable
Previously, some splipped through and were caught by unrelated calls to
typeclass resolution.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions