diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-05 09:56:52 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-05 09:56:52 -0400 |
| commit | 120ec7b5ffbf8be08f8f9672d043ec86d9fc7cfe (patch) | |
| tree | a5b880e2e6cd1d825386ca2ec8d486ac865713ea /config.sub | |
| parent | 9aa9c1fc665f38a1569ea6cdbf90ce4aee7c10af (diff) | |
Fix confusing error message when record unification fails because enclosed types are incompatible
Diffstat (limited to 'config.sub')
0 files changed, 0 insertions, 0 deletions