diff options
| author | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2016-03-23 10:54:12 +0100 |
|---|---|---|
| committer | Jacques-Henri Jourdan <jacques-henri.jourdan@inria.fr> | 2016-03-23 10:54:12 +0100 |
| commit | d0af92096242ff6e452c726d682295145189e848 (patch) | |
| tree | 3c8f2643fe658a9126bdeae05324dc301e7321f7 /cparser/pre_parser.mly | |
| parent | d25405f247b2b94527393eba4c79a56291a7fd80 (diff) | |
| download | compcert-kvx-d0af92096242ff6e452c726d682295145189e848.tar.gz compcert-kvx-d0af92096242ff6e452c726d682295145189e848.zip | |
Fix a bug in the pre-parser.
Diffstat (limited to 'cparser/pre_parser.mly')
| -rw-r--r-- | cparser/pre_parser.mly | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index d6a4a21c..21008f1c 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -665,6 +665,7 @@ direct_declarator: | i = declarator_identifier { set_id_type i VarId; (i, Decl_ident) } | LPAREN save_context x = declarator RPAREN + { x } | x = direct_declarator LBRACK type_qualifier_list? optional(assignment_expression, RBRACK) { match snd x with | Decl_ident -> (fst x, Decl_other) |