Fix up header guards.

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

diff --git a/src/lib/user/user.h b/src/lib/user/user.h
index e9aebd2ed19e413dbf9c8a435af462847f16a442..6bebf6de2e8d3445e86e93ccf7430ad342944c9a 100644 (file)
--- a/src/lib/user/user.h
+++ b/src/lib/user/user.h
@@ -1,5 +1,5 @@
-#ifndef LIB_USER_H
-#define LIB_USER_H 1
+#ifndef __LIB_USER_USER_H
+#define __LIB_USER_USER_H
 
 #ifdef KERNEL
 #error This header is user-only.
@@ -11,4 +11,4 @@
 void exit (int);
 void abort (void);
 
-#endif /* lib/user.h */
+#endif /* lib/user/user.h */