* device/include/stdio.h: added NULL, size_t, typedef pfn_outputchar,
[fw/sdcc] / device / lib / libsdcc.lib
index 77ef0bdff153a4576587e0a01a200a72f7c0a53f..30c09e82f0b011513c23c3b4c4418b1b83bbb0c0 100644 (file)
@@ -9,12 +9,12 @@ _isupper
 _isxdigit
 _itoa
 _ltoa
+_strcat
 _strchr
 _strcmp
 _strcpy
 _strcspn
 _strlen
-_strcat
 _strncat
 _strncmp
 _strncpy
@@ -48,6 +48,7 @@ gets
 printfl
 printf_large
 printf_fast
+sprintf
 vprintf
 assert
 time