diff options
Diffstat (limited to 'common/PrintAST.ml')
| -rw-r--r-- | common/PrintAST.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/PrintAST.ml b/common/PrintAST.ml index 971bf77..6a66c30 100644 --- a/common/PrintAST.ml +++ b/common/PrintAST.ml @@ -45,3 +45,4 @@ let name_of_external = function sprintf "memcpy size %ld align %ld " (camlint_of_z sz) (camlint_of_z al) | EF_annot(text, targs) -> sprintf "annot %S" (extern_atom text) | EF_annot_val(text, targ) -> sprintf "annot_val %S" (extern_atom text) + | EF_inline_asm text -> sprintf "inline_asm %S" (extern_atom text) |