diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:59:50 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-07 09:59:50 +0200 |
| commit | d9b17759c9a56a33b7e2d57e0aaaab4951ef222d (patch) | |
| tree | d491b2c1f259be85cdc903bd38191436be8a119b /cparser/pre_parser.mly | |
| parent | 30ac183455a0e15fb9889793a3bc774bc1b7b5c2 (diff) | |
| download | compcert-kvx-d9b17759c9a56a33b7e2d57e0aaaab4951ef222d.tar.gz compcert-kvx-d9b17759c9a56a33b7e2d57e0aaaab4951ef222d.zip | |
One more replacement of [ioption] with [option].
I missed this opportunity in the previous commit.
Diffstat (limited to 'cparser/pre_parser.mly')
| -rw-r--r-- | cparser/pre_parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/pre_parser.mly b/cparser/pre_parser.mly index 14bf4a23..43b44c13 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -581,7 +581,7 @@ abstract_declarator: direct_abstract_declarator: | LPAREN abstract_declarator RPAREN -| ioption(direct_abstract_declarator) LBRACK type_qualifier_list? assignment_expression? RBRACK +| option(direct_abstract_declarator) LBRACK type_qualifier_list? assignment_expression? RBRACK | ioption(direct_abstract_declarator) LPAREN in_context(parameter_type_list?) RPAREN {} |