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 /cfrontend/Cexec.v | |
parent | a663fe4774f7af2b4a189f5fea8b0b92d2d5c006 (diff) | |
download | compcert-7044b2f8319fb82111639ee7ced2966f297e59b8.tar.gz compcert-7044b2f8319fb82111639ee7ced2966f297e59b8.zip |
For uniformity with other messages, added an "Ill-formed expression.".
Diffstat (limited to 'cfrontend/Cexec.v')
0 files changed, 0 insertions, 0 deletions