Redo makefiles.
[pintos-anon] / src / filesys / file.h
index c3cde121ad0b55ef6189272382019602b55ac0e8..afa1990102ac84db4dd929ff2eaa16a72dac6d1d 100644 (file)
@@ -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