aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/handcrafted.messages
diff options
context:
space:
mode:
authorFrançois Pottier <francois.pottier@inria.fr>2015-11-24 13:33:28 +0100
committerFrançois Pottier <francois.pottier@inria.fr>2015-11-24 13:33:28 +0100
commit7044b2f8319fb82111639ee7ced2966f297e59b8 (patch)
treeee1ff57827b0d73021b4ef49bc542c6f6dac007c /cparser/handcrafted.messages
parenta663fe4774f7af2b4a189f5fea8b0b92d2d5c006 (diff)
downloadcompcert-kvx-7044b2f8319fb82111639ee7ced2966f297e59b8.tar.gz
compcert-kvx-7044b2f8319fb82111639ee7ced2966f297e59b8.zip
For uniformity with other messages, added an "Ill-formed expression.".
Diffstat (limited to 'cparser/handcrafted.messages')
-rw-r--r--cparser/handcrafted.messages1
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages
index 97f69617..11c26560 100644
--- a/cparser/handcrafted.messages
+++ b/cparser/handcrafted.messages
@@ -1277,6 +1277,7 @@ translation_unit_file: INT PRE_NAME VAR_NAME EQ LPAREN PRE_NAME VAR_NAME SEMICOL
# can be continued with a comma and another expression.
# So, let's just say a closing parenthesis is expected.
+Ill-formed expression.
Up to this point, an expression has been recognized:
$0
If this expression is complete,