X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fuser%2Fuser.h;h=6bebf6de2e8d3445e86e93ccf7430ad342944c9a;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=e9aebd2ed19e413dbf9c8a435af462847f16a442;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon

diff --git a/src/lib/user/user.h b/src/lib/user/user.h
index e9aebd2..6bebf6d 100644
--- 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 */