Fix up header guards.
[pintos-anon] / src / lib / string.h
index 03ba7a00133201fd6730ffbdfe49bc9d6511575f..05b957f297ae78454738e9c41a2cff7e97ee5a17 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_STRING_H
-#define LIB_STRING_H 1
+#ifndef __LIB_STRING_H
+#define __LIB_STRING_H
 
 #include "stddef.h"