1 files changed, 0 insertions, 14 deletions

diff --git a/pintos-progos/lib/stdarg.h b/pintos-progos/lib/stdarg.h
deleted file mode 100644
index 32622b5..0000000
--- a/pintos-progos/lib/stdarg.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#ifndef __LIB_STDARG_H
-#define __LIB_STDARG_H
-
-/* GCC has <stdarg.h> functionality as built-ins,
-   so all we need is to use it. */
-
-typedef __builtin_va_list va_list;
-
-#define va_start(LIST, ARG)     __builtin_va_start (LIST, ARG)
-#define va_end(LIST)            __builtin_va_end (LIST)
-#define va_arg(LIST, TYPE)      __builtin_va_arg (LIST, TYPE)
-#define va_copy(DST, SRC)       __builtin_va_copy (DST, SRC)
-
-#endif /* lib/stdarg.h */