diff options
author | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
---|---|---|
committer | François Pottier <francois.pottier@inria.fr> | 2015-10-23 13:01:14 +0200 |
commit | 073e50a2b795f68e59075d6e365e72b4bd2417c1 (patch) | |
tree | b03f5729de297539eb190a74e8894c4eb0ed397b | |
parent | e5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e (diff) | |
download | compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.tar.gz compcert-073e50a2b795f68e59075d6e365e72b4bd2417c1.zip |
Changed [asm_flags] to a left-recursive list.
This allows us to give a better error message in 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 96cf0de7..e55389ba 100644 --- a/cparser/pre_parser.mly +++ b/cparser/pre_parser.mly @@ -845,7 +845,7 @@ asm_op_name: asm_flags: | string_literals_list -| string_literals_list COMMA asm_flags +| asm_flags COMMA string_literals_list {} translation_unit_file: |