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

diff --git a/src/filesys/filehdr.h b/src/filesys/filehdr.h
index 235a1e6..cb28416 100644
--- a/src/filesys/filehdr.h
+++ b/src/filesys/filehdr.h
@@ -3,8 +3,8 @@
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "disk.h"
 #include "off_t.h"
+#include "devices/disk.h"
 
 /* Number of direct sector pointers in a file header. */
 #define DIRECT_CNT ((DISK_SECTOR_SIZE - sizeof (off_t) * 2)     \