1 files changed, 0 insertions, 12 deletions

diff --git a/pintos-progos/lib/stddef.h b/pintos-progos/lib/stddef.h
deleted file mode 100644
index 4e74fa6..0000000
--- a/pintos-progos/lib/stddef.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#ifndef __LIB_STDDEF_H
-#define __LIB_STDDEF_H
-
-#define NULL ((void *) 0)
-#define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)
-
-/* GCC predefines the types we need for ptrdiff_t and size_t,
-   so that we don't have to guess. */
-typedef __PTRDIFF_TYPE__ ptrdiff_t;
-typedef __SIZE_TYPE__ size_t;
-
-#endif /* lib/stddef.h */