diff options
author | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-11-24 10:09:38 +0100 |
---|---|---|
committer | Bernhard Schommer <bschommer@users.noreply.github.com> | 2015-11-24 10:09:38 +0100 |
commit | 8a412ae5e7028ca055288d2b161e0ac614845144 (patch) | |
tree | 76f82754a632a3ace2463f9d01ccbb801ecdd4ed /cparser/pre_parser.mly | |
parent | cf417332491f1c2a738705d4f1d874e4edd4d636 (diff) | |
parent | 08625476f659d84980ac8619f40be0472061fb83 (diff) | |
download | compcert-8a412ae5e7028ca055288d2b161e0ac614845144.tar.gz compcert-8a412ae5e7028ca055288d2b161e0ac614845144.zip |
Merge pull request #74 from fpottier/cut
Fix a typo in a syntax error message.
Diffstat (limited to 'cparser/pre_parser.mly')
-rw-r--r-- | cparser/pre_parser.mly | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index d217a7a4..d6a4a21c 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -873,18 +873,15 @@ asm_flags: {} translation_unit_file: -| translation_unit EOF -| EOF +| translation_item* EOF {} -translation_unit: +translation_item: | external_declaration -| translation_unit external_declaration -| translation_unit SEMICOLON | SEMICOLON {} -external_declaration: +%inline external_declaration: | function_definition | declaration(external_declaration) | PRAGMA |