Fix up header guards.
[pintos-anon] / src / lib / stddef.h
index 836b8f21c1dfc8dab191894c4572fb97d7e7a45f..2a05bc9c980d845af6ed562377fc9401d0639d56 100644 (file)
@@ -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)