diff options
Diffstat (limited to 'arm/CBuiltins.ml')
| -rw-r--r-- | arm/CBuiltins.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml index a8583c80..b9b54e47 100644 --- a/arm/CBuiltins.ml +++ b/arm/CBuiltins.ml @@ -47,3 +47,4 @@ let builtins = { } let size_va_list = 4 +let va_list_scalar = true |