diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:40:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-07-17 10:40:13 -0400 |
| commit | c03c85a17829c7c4d7fa6d790315634483f8a9ae (patch) | |
| tree | d986aa94d4afb0b8832a9fc388ffaf32ff91112f /src/main.mlton.sml | |
| parent | 4df9f6e28c5fee1db2b8dad75e74d2928a98150c (diff) | |
Make that new error message text a bit more accurate
Diffstat (limited to 'src/main.mlton.sml')
0 files changed, 0 insertions, 0 deletions