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

[fw/sdcc] / device / include / stdio.h

diff --git a/device/include/stdio.h b/device/include/stdio.h
index c601ee8cca62a0df25944a87d03f422cbaf3c6e6..d96ebc2883ea5d35237f1c4ac0431bd6a251c2bb 100644 (file)
--- a/device/include/stdio.h
+++ b/device/include/stdio.h
@@ -60,6 +60,7 @@ extern void putchar(char);
 
 #ifdef __mcs51
 extern void printf_fast(code char *fmt, ...) _REENTRANT;
+extern void printf_fast_f(code char *fmt, ...) _REENTRANT;
 extern void printf_tiny(code char *fmt, ...) _REENTRANT;
 #endif