aboutsummaryrefslogtreecommitdiffstats
path: root/cparser/pre_parser.mly
diff options
context:
space:
mode:
authorFrançois Pottier <francois.pottier@inria.fr>2015-10-23 13:01:14 +0200
committerFrançois Pottier <francois.pottier@inria.fr>2015-10-23 13:01:14 +0200
commit073e50a2b795f68e59075d6e365e72b4bd2417c1 (patch)
treeb03f5729de297539eb190a74e8894c4eb0ed397b /cparser/pre_parser.mly
parente5d2a949f0e5cd5f1ddaece41a03f65ac1e3836e (diff)
downloadcompcert-kvx-073e50a2b795f68e59075d6e365e72b4bd2417c1.tar.gz
compcert-kvx-073e50a2b795f68e59075d6e365e72b4bd2417c1.zip
Changed [asm_flags] to a left-recursive list.
This allows us to give a better error message in one state.
Diffstat (limited to 'cparser/pre_parser.mly')
-rw-r--r--cparser/pre_parser.mly2
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: