X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilehdr.h;h=60bca9619d452a26f08800cc089733b89e738491;hb=b6b1e6db07a20a0b3025c2ae62a58e80c1af841b;hp=cb28416066862af204e105f6dedcce6e6ece6507;hpb=f6580e9ad405b519dbe85027691bf3c66074b0a4;p=pintos-anon

diff --git a/src/filesys/filehdr.h b/src/filesys/filehdr.h
index cb28416..60bca96 100644
--- a/src/filesys/filehdr.h
+++ b/src/filesys/filehdr.h
@@ -1,9 +1,9 @@
-#ifndef HEADER_FILEHDR_H
-#define HEADER_FILEHDR_H 1
+#ifndef FILESYS_FILEHDR_H
+#define FILESYS_FILEHDR_H
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "off_t.h"
+#include "filesys/off_t.h"
 #include "devices/disk.h"
 
 /* Number of direct sector pointers in a file header. */
@@ -29,4 +29,4 @@ disk_sector_t filehdr_byte_to_sector (const struct filehdr *, off_t);
 off_t filehdr_length (const struct filehdr *);
 void filehdr_print (const struct filehdr *);
 
-#endif /* filehdr.h */
+#endif /* filesys/filehdr.h */