* device/include/c8051fxxx.h: removed these 6 new files
[fw/sdcc] / device / lib / libsdcc.lib
index 00873b43157958cac5c2f08d2453ae8b38959a9d..0e3ae98252f26bf7302d994f9cd60d3c0be8b4d1 100644 (file)
@@ -48,6 +48,7 @@ gets
 printfl
 printf_large
 printf_fast
+printf_fast_f
 printf_tiny
 sprintf
 vprintf