Remove unwanted files.
[pintos-anon] / src / filesys / file.c
index 323470efdd568a5dcea711366c8bd1bd263ff80d..e1a70f31bb150cc6ffdf0aec62e4c976b27937c7 100644 (file)
@@ -1,10 +1,10 @@
-#include "file.h"
-#include "debug.h"
-#include "lib.h"
-#include "malloc.h"
-#include "directory.h"
-#include "filehdr.h"
-#include "filesys.h"
+#include "filesys/file.h"
+#include <debug.h>
+#include <string.h>
+#include "filesys/directory.h"
+#include "filesys/filehdr.h"
+#include "filesys/filesys.h"
+#include "threads/malloc.h"
 
 bool
 file_open (struct file *file, disk_sector_t hdr_sector)