aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/pre_parser.mly
diff options
context:
space:
mode:
authorJacques-Henri Jourdan <jacques-henri.jourdan@inria.fr>2015-11-07 18:53:50 +0100
committerJacques-Henri Jourdan <jacques-henri.jourdan@inria.fr>2015-11-07 18:53:50 +0100
commit0ebefc1d145f82783829174bad1f41bb319742b4 (patch)
tree265c5db82cc99f30f1702c6ba59f830ffb125fef /cparser/pre_parser.mly
parentb071b27ecfea4911b1cd07d4083d8ad7a1db7809 (diff)
downloadcompcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.tar.gz
compcert-kvx-0ebefc1d145f82783829174bad1f41bb319742b4.zip
Typo, coherence in error messages
Diffstat (limited to 'cparser/pre_parser.mly')
-rw-r--r--cparser/pre_parser.mly7
1 files changed, 4 insertions, 3 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly
index 0cc30668..d217a7a4 100644
--- a/cparser/pre_parser.mly
+++ b/cparser/pre_parser.mly
@@ -634,10 +634,11 @@ function_specifier:
and with TYPEDEF_NAME in lookahead position, we know (1) can safely
be ignored (if (1) is still possible after reading the next token,
(2) will also be possible, and the conflict has to be solved in
- favor of (2)). We add low_prec in declaration_specifier, but not in
+ favor of (2)). We add low_prec in declaration_identifier, but not in
typedef_name, so that it has to be reduced in (1) but not in (2).
- This is a shift/reduce conflict that can be solved using precedences.
-*)
+ This is a shift/reduce conflict that can be solved using
+ precedences.
+ *)
low_prec : %prec lowPrec1 {}
declarator_identifier:
| PRE_NAME low_prec i = TYPEDEF_NAME