diff options
-rw-r--r-- | cparser/Elab.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cparser/Elab.ml b/cparser/Elab.ml index eaba8d8..98d9d8b 100644 --- a/cparser/Elab.ml +++ b/cparser/Elab.ml @@ -289,8 +289,8 @@ let elab_attribute loc env = function | ("volatile", []) -> [AVolatile] | (("__attribute" | "__attribute__"), l) -> List.flatten (List.map (elab_gcc_attr loc env) l) - | (name, _) -> - warning loc "`%s' annotation ignored" name; [] + | ("__asm__", _) -> [] (* MacOS X noise *) + | (name, _) -> warning loc "`%s' annotation ignored" name; [] let elab_attributes loc env al = List.fold_left add_attributes [] (List.map (elab_attribute loc env) al) |