1 files changed, 0 insertions, 14 deletions
diff --git a/os/src/fprintf.c b/os/src/fprintf.c
deleted file mode 100644
index a56ed33..0000000
--- a/os/src/fprintf.c
+++ /dev/null
@@ -1,14 +0,0 @@
-#include <reent.h>
-#include <stdio.h>
-#include <stdarg.h>
-#include "osdebug.h"
-
-int fprintf(FILE * file, const char * fmt, ...) {
-    int r;
-    va_list ap;
-//    DBGOUT("fprintf(%p, %p, ...)\r\n", file, fmt);
-    va_start(ap, fmt);
-    r = _vfprintf_r(_impure_ptr, file, fmt, ap);
-    va_end(ap);
-    return r;
-}