X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Floader.h;fp=src%2Fthreads%2Floader.h;h=b412af362f546f429324d60cee952cd6577ebf73;hb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;hp=f5d7a9ba794bf2e045789deea123ef37541f122d;hpb=859a5d60ca3a5a78d88a7bfb69f9944a41535504;p=pintos-anon

diff --git a/src/threads/loader.h b/src/threads/loader.h
index f5d7a9b..b412af3 100644
--- a/src/threads/loader.h
+++ b/src/threads/loader.h
@@ -1,5 +1,5 @@
-#ifndef HEADER_LOADER_H
-#define HEADER_LOADER_H
+#ifndef THREADS_LOADER_H
+#define THREADS_LOADER_H
 
 /* Constants fixed by the PC BIOS. */
 #define LOADER_BASE 0x7c00      /* Physical address of loader's base. */
@@ -30,4 +30,4 @@
 #define SEL_KCSEG       0x08    /* Kernel code selector. */
 #define SEL_KDSEG       0x10    /* Kernel data selector. */
 
-#endif /* loader.h */
+#endif /* threads/loader.h */