diff options
| author | Matthieu Sozeau | 2014-09-04 12:44:07 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-04 12:44:07 +0200 |
| commit | 85f440deb8b87fe42a3623bbafd1f78243711a34 (patch) | |
| tree | 119c8ff8b71aab67f2fa9f2bcfcdae9356f64e44 /pretyping/typeclasses_errors.mli | |
| parent | 84916b37627cce78a313f850ecbcff1c3b8c3d49 (diff) | |
Fix bug #3561, correct folding of env in context[] matching.
Diffstat (limited to 'pretyping/typeclasses_errors.mli')
0 files changed, 0 insertions, 0 deletions