aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/handcrafted.messages
diff options
context:
space:
mode:
authorFrançois Pottier <francois.pottier@inria.fr>2015-11-23 18:06:43 +0100
committerFrançois Pottier <francois.pottier@inria.fr>2015-11-23 18:06:43 +0100
commite20490e57b6098c330187e51908b8e1b9975e72e (patch)
tree844e2daefe379ae0b698163b8e140d0957b980b9 /cparser/handcrafted.messages
parentcf417332491f1c2a738705d4f1d874e4edd4d636 (diff)
downloadcompcert-kvx-e20490e57b6098c330187e51908b8e1b9975e72e.tar.gz
compcert-kvx-e20490e57b6098c330187e51908b8e1b9975e72e.zip
Fix a typo in a syntax error message.
Diffstat (limited to 'cparser/handcrafted.messages')
-rw-r--r--cparser/handcrafted.messages2
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages
index 2528a42e..dc368fbf 100644
--- a/cparser/handcrafted.messages
+++ b/cparser/handcrafted.messages
@@ -1277,7 +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.
-Up to this point, an expression have been recognized:
+Up to this point, an expression has been recognized:
$0
If this expression is complete,
then at this point, a closing parenthesis ')' is expected.