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

diff --git a/src/filesys/filehdr.h b/src/filesys/filehdr.h
index cb28416..7c9f37f 100644
--- a/src/filesys/filehdr.h
+++ b/src/filesys/filehdr.h
@@ -3,7 +3,7 @@
 
 #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. */