Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision 696b405386c8f231d8955f78acc39dd81137ea5c)
+++ uspace/lib/c/include/stdio.h	(revision 1db4e2ae125c1e44cf798e9a321ba480b184b645)
@@ -209,7 +209,4 @@
 };
 
-extern int vprintf_length(const char *, va_list);
-extern int printf_length(const char *, ...)
-    _HELENOS_PRINTF_ATTRIBUTE(1, 2);
 extern FILE *fdopen(int, const char *);
 extern int fileno(FILE *);