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 /cparser/handcrafted.messages | |
| parent | b071b27ecfea4911b1cd07d4083d8ad7a1db7809 (diff) | |
| download | compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.tar.gz compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.zip | |
Typo, coherence in error messages
Diffstat (limited to 'cparser/handcrafted.messages')
| -rw-r--r-- | cparser/handcrafted.messages | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/cparser/handcrafted.messages b/cparser/handcrafted.messages index a145972e..2528a42e 100644 --- a/cparser/handcrafted.messages +++ b/cparser/handcrafted.messages @@ -1277,8 +1277,8 @@ 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, a parenthesis '(' and an expression have been recognized: - $1 $0 +Up to this point, an expression have been recognized: + $0 If this expression is complete, then at this point, a closing parenthesis ')' is expected. @@ -2668,8 +2668,8 @@ translation_unit_file: INT LPAREN PRE_NAME VAR_NAME SEMICOLON ## In state 256, spurious reduction of production declarator -> declarator_noattrend attribute_specifier_list ## -Up to this point, an opening parenthesis and a declarator have been recognized: - $1 $0 +Up to this point, a declarator have been recognized: + $0 If this declarator is complete, then at this point, a closing parenthesis ')' is expected. |