diff options
Diffstat (limited to 'cparser/GCC.ml')
-rw-r--r-- | cparser/GCC.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/GCC.ml b/cparser/GCC.ml index 9f864dcd..17b718b4 100644 --- a/cparser/GCC.ml +++ b/cparser/GCC.ml @@ -124,7 +124,7 @@ let builtins = { "__builtin_inf", (doubleType, [], false); "__builtin_inff", (floatType, [], false); "__builtin_infl", (longDoubleType, [], false); - "__builtin_memcpy", (voidPtrType, [ voidPtrType; voidConstPtrType; uintType ], false); + "__builtin_memcpy", (voidPtrType, [ voidPtrType; voidConstPtrType; sizeType ], false); "__builtin_mempcpy", (voidPtrType, [ voidPtrType; voidConstPtrType; sizeType ], false); "__builtin_fmod", (doubleType, [ doubleType ], false); |