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 /configure | |
parent | b071b27ecfea4911b1cd07d4083d8ad7a1db7809 (diff) | |
download | compcert-0ebefc1d145f82783829174bad1f41bb319742b4.tar.gz compcert-0ebefc1d145f82783829174bad1f41bb319742b4.zip |
Typo, coherence in error messages
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions