diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-11-24 13:33:28 +0100 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-11-24 13:33:28 +0100 |
| commit | 7044b2f8319fb82111639ee7ced2966f297e59b8 (patch) | |
| tree | ee1ff57827b0d73021b4ef49bc542c6f6dac007c /debug | |
| parent | a663fe4774f7af2b4a189f5fea8b0b92d2d5c006 (diff) | |
| download | compcert-7044b2f8319fb82111639ee7ced2966f297e59b8.tar.gz compcert-7044b2f8319fb82111639ee7ced2966f297e59b8.zip | |
For uniformity with other messages, added an "Ill-formed expression.".
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions