Fix up header guards.

[pintos-anon] / src / lib / stdlib.h

diff --git a/src/lib/stdlib.h b/src/lib/stdlib.h
index 0a8abcb166edf576c493ff0889caffef37ab55df..d2f9bba721a83ea69abd635685b304200dfdd61f 100644 (file)
--- a/src/lib/stdlib.h
+++ b/src/lib/stdlib.h
@@ -1,5 +1,5 @@
-#ifndef LIB_STDLIB_H
-#define LIB_STDLIB_H
+#ifndef __LIB_STDLIB_H
+#define __LIB_STDLIB_H
 
 #include "stddef.h"