diff options
Diffstat (limited to 'tools/checkAPIs.pl')
| -rwxr-xr-x | tools/checkAPIs.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl index 7527141817..bc6059fd27 100755 --- a/tools/checkAPIs.pl +++ b/tools/checkAPIs.pl @@ -109,6 +109,7 @@ my %APIs = ( 'isupper', 'isxdigit', 'tolower', + 'atof', 'strtod', 'strcasecmp', 'strncasecmp', |