1 files changed, 0 insertions, 7 deletions

diff --git a/pintos-progos/lib/user/stdio.h b/pintos-progos/lib/user/stdio.h
deleted file mode 100644
index b9f3cc6..0000000
--- a/pintos-progos/lib/user/stdio.h
+++ /dev/null
@@ -1,7 +0,0 @@
-#ifndef __LIB_USER_STDIO_H
-#define __LIB_USER_STDIO_H
-
-int hprintf (int, const char *, ...) PRINTF_FORMAT (2, 3);
-int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
-
-#endif /* lib/user/stdio.h */