diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-12-23 11:23:31 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-12-23 11:23:31 -0500 |
| commit | aefcace126000897c60a5312082807d213bbc435 (patch) | |
| tree | fcdcc73abd3ef7b68fe8a02e5b11901e0fec5c92 /src/settings.sml | |
| parent | a2250d46706e9addd882722a5aeb832e8ee034e2 (diff) | |
Recursive record unification errors, for more detail
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions