Index: uspace/lib/c/include/stdio.h
===================================================================
--- uspace/lib/c/include/stdio.h	(revision 696b405386c8f231d8955f78acc39dd81137ea5c)
+++ uspace/lib/c/include/stdio.h	(revision 45adeeb6f146353989d5501fff8cf3e780e5dbea)
@@ -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 *);