X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Ffilesys%2Ffile.h;h=afa1990102ac84db4dd929ff2eaa16a72dac6d1d;hb=f6580e9ad405b519dbe85027691bf3c66074b0a4;hp=c3cde121ad0b55ef6189272382019602b55ac0e8;hpb=2324ca7dd99fe1787ff4eac42f73d491eb2b9f36;p=pintos-anon

diff --git a/src/filesys/file.h b/src/filesys/file.h
index c3cde12..afa1990 100644
--- a/src/filesys/file.h
+++ b/src/filesys/file.h
@@ -4,7 +4,7 @@
 #include <stdbool.h>
 #include <stdint.h>
 #include <stddef.h>
-#include "disk.h"
+#include "devices/disk.h"
 #include "off_t.h"
 
 struct file