Fix up header guards.
[pintos-anon] / src / lib / inttypes.h
index 70bb8980b722c1bc7cf16ddc40125a76a1a3a449..08ee8fe0ffc6b0e054871063e813a7740214ee42 100644 (file)
@@ -1,5 +1,5 @@
-#ifndef LIB_INTTYPES_H
-#define LIB_INTTYPES_H
+#ifndef __LIB_INTTYPES_H
+#define __LIB_INTTYPES_H
 
 #define PRId8 "hhd"
 #define PRId16 "hd"