Remove unwanted files.

[pintos-anon] / src / filesys / filesys.h

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index a54a347e1c7c50fb1e826725b209759a5d7e9af5..6e6c13610ab6522732804dad68d3fe2e1437a535 100644 (file)
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -3,9 +3,10 @@
 
 #include <stdbool.h>
 #include <stdint.h>
-#include "off_t.h"
+#include "filesys/off_t.h"
 
-struct disk *filesys_disk;
+/* Disk used for filesystem. */
+extern struct disk *filesys_disk;
 
 struct file;
 void filesys_init (bool format);