Rename printk() to printf().

[pintos-anon] / src / filesys / file.c

diff --git a/src/filesys/file.c b/src/filesys/file.c
index a40c07356e2a9de62ea1bc118cb05a8ec0e083fa..e1a70f31bb150cc6ffdf0aec62e4c976b27937c7 100644 (file)
--- a/src/filesys/file.c
+++ b/src/filesys/file.c
@@ -1,9 +1,9 @@
-#include "file.h"
-#include "directory.h"
-#include "filehdr.h"
-#include "filesys.h"
-#include "lib/debug.h"
-#include "lib/lib.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