diff options
| author | François Pottier <francois.pottier@inria.fr> | 2015-10-19 18:39:27 +0200 |
|---|---|---|
| committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 12:55:36 +0200 |
| commit | e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1 (patch) | |
| tree | 5988a2a944382e1dfbc1974e09bfbbe80cc0945d /cparser/pre_parser.mly | |
| parent | 4a088ba7c9f82d105b25935c1ff7abb07e72de6b (diff) | |
| download | compcert-kvx-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.tar.gz compcert-kvx-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.zip | |
Inlined [constant_expression] to save one state.
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 639c5ac5..f3bfb9e8 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -323,7 +323,7 @@ expression: | expression COMMA assignment_expression {} -constant_expression: +%inline constant_expression: | conditional_expression {} |