1 files changed, 0 insertions, 21 deletions
diff --git a/src/user/lib/include/stdio.h b/src/user/lib/include/stdio.h
deleted file mode 100644
index 099746e..0000000
--- a/src/user/lib/include/stdio.h
+++ /dev/null
@@ -1,21 +0,0 @@
-#ifndef DEF_STDIO_H
-#define DEF_STDIO_H
-
-#include <stdarg.h>
-#include <tce/syscall.h>
-
-extern FILE term;
-
-void print(char *s);
-void printf(char *s, ...);
-char *readln();
-
-void fprint(FILE f, char *s);
-void fprint_int(FILE f, int number);
-void fprint_hex(FILE f, unsigned number);
-void fprintf(FILE f, char *s, ...);
-
-void vfprintf(FILE f, char *s, va_list arg);
-
-
-#endif