X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstddef.h;h=2a05bc9c980d845af6ed562377fc9401d0639d56;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=836b8f21c1dfc8dab191894c4572fb97d7e7a45f;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon

diff --git a/src/lib/stddef.h b/src/lib/stddef.h
index 836b8f2..2a05bc9 100644
--- a/src/lib/stddef.h
+++ b/src/lib/stddef.h
@@ -1,5 +1,5 @@
-#ifndef LIB_STDDEF_H
-#define LIB_STDDEF_H
+#ifndef __LIB_STDDEF_H
+#define __LIB_STDDEF_H
 
 #define NULL ((void *) 0)
 #define offsetof(TYPE, MEMBER) ((size_t) &((TYPE *) 0)->MEMBER)