diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:53:50 +0100 |
|---|---|---|
| committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2015-11-07 18:53:50 +0100 |
| commit | 0ebefc1d145f82783829174bad1f41bb319742b4 (patch) | |
| tree | 265c5db82cc99f30f1702c6ba59f830ffb125fef /cparser/Lexer.mll | |
| parent | b071b27ecfea4911b1cd07d4083d8ad7a1db7809 (diff) | |
| download | compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.tar.gz compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.zip | |
Typo, coherence in error messages
Diffstat (limited to 'cparser/Lexer.mll')
0 files changed, 0 insertions, 0 deletions