diff options
Diffstat (limited to 'aarch64/CBuiltins.ml')
-rw-r--r-- | aarch64/CBuiltins.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/CBuiltins.ml b/aarch64/CBuiltins.ml index 4ba7e5ae..4cfb7edf 100644 --- a/aarch64/CBuiltins.ml +++ b/aarch64/CBuiltins.ml @@ -35,7 +35,7 @@ let int128_type = TArray(TInt(IULong, []), Some 2L, []) let builtins = { builtin_typedefs = [ "__builtin_va_list", va_list_type ] @ - (if Configuration.system = "macosx" then + (if Configuration.system = "macos" then [ "__int128_t", int128_type; "__uint128_t", int128_type ] else []); |