Added printf_fast_f. Same as printf_fast, but with floating point enabled

[fw/sdcc] / device / lib / libsdcc.lib

diff --git a/device/lib/libsdcc.lib b/device/lib/libsdcc.lib
index 00873b43157958cac5c2f08d2453ae8b38959a9d..0e3ae98252f26bf7302d994f9cd60d3c0be8b4d1 100644 (file)
--- a/device/lib/libsdcc.lib
+++ b/device/lib/libsdcc.lib
@@ -48,6 +48,7 @@ gets
 printfl
 printf_large
 printf_fast
+printf_fast_f
 printf_tiny
 sprintf
 vprintf