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

diff --git a/src/filesys/directory.h b/src/filesys/directory.h
index f5f5ebd..a3364ae 100644
--- a/src/filesys/directory.h
+++ b/src/filesys/directory.h
@@ -3,7 +3,7 @@
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "disk.h"
+#include "devices/disk.h"
 
 /* Maximum length of a filename.
    This is the traditional UNIX maximum.