diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-10-27 08:36:31 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-10-27 08:36:31 -0400 |
| commit | 4b4b367f011e9f49389d76c2167c193711713438 (patch) | |
| tree | fbff54b6d2e52247b2f2b1003d6265e32f18c57e /src/elab_util.sig | |
| parent | 3c6dc3613a00da2f302ed3e8a295438eedd3e649 (diff) | |
Harmonize have/need terminology in error messages; display canceled record summaries on errors
Diffstat (limited to 'src/elab_util.sig')
0 files changed, 0 insertions, 0 deletions