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 | |
parent | 4a088ba7c9f82d105b25935c1ff7abb07e72de6b (diff) | |
download | compcert-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.tar.gz compcert-e9ea9da494eeabfc459e7ba43f9f5ccb9a48dcf1.zip |
Inlined [constant_expression] to save one state.
-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 {} |