diff options
Diffstat (limited to 'cfrontend/C2C.ml')
| -rw-r--r-- | cfrontend/C2C.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/cfrontend/C2C.ml b/cfrontend/C2C.ml index 6a33c48d..eecda71b 100644 --- a/cfrontend/C2C.ml +++ b/cfrontend/C2C.ml @@ -272,7 +272,8 @@ let attributes = [ (* function-related *) ("noreturn", Cutil.Attr_function); (* name-related *) - ("section", Cutil.Attr_name) + ("section", Cutil.Attr_name); + ("unused", Cutil.Attr_name) ] |