diff options
Diffstat (limited to 'cfrontend')
-rw-r--r-- | cfrontend/C2C.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index d6bf76f3..d70c4dad 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -315,8 +315,9 @@ let attributes = [ ("noinline",Cutil.Attr_function); (* name-related *) ("aligned", Cutil.Attr_name); - ("section", Cutil.Attr_name); - ("unused", Cutil.Attr_name) + (* object-related *) + ("section", Cutil.Attr_object); + ("unused", Cutil.Attr_object) ] |