diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 11:36:56 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-04-21 11:36:56 +0200 |
| commit | 832685e5dc7c17c434146d353b60c2158e3edd11 (patch) | |
| tree | ee2619ce53da5fb65f29686368ec878ed6160979 /backend | |
| parent | 2f000451f48897bcfae9eda0eb7ed3bc9b1070af (diff) | |
| download | compcert-832685e5dc7c17c434146d353b60c2158e3edd11.tar.gz compcert-832685e5dc7c17c434146d353b60c2158e3edd11.zip | |
Cleanups and updates for extended asm.
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/CMparser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index bcfa4548..f62e05d4 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -60,7 +60,7 @@ let mkef sg toks = if sg.sig_args = [] then raise Parsing.Parse_error; EF_annot_val(intern_string txt, List.hd sg.sig_args) | [EFT_tok "inline_asm"; EFT_string txt] -> - EF_inline_asm(intern_string txt, sg) + EF_inline_asm(intern_string txt, sg, []) | _ -> raise Parsing.Parse_error |