1 files changed, 0 insertions, 11 deletions
diff --git a/lib/stdio/printf.c b/lib/stdio/printf.c
deleted file mode 100644
index 4efc1ac..0000000
--- a/lib/stdio/printf.c
+++ /dev/null
@@ -1,11 +0,0 @@
-#include <stdio.h>
-
-int
-printf(const char *restrict format, ...)
-{
-  va_list ap;
-  va_start(ap, format);
-  int c = vfprintf(stdout, format, ap);
-  va_end(ap);
-  return c;
-}