Rename printk() to printf().

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

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index 1f06c34bcf878144161b0de9645a455eef28367d..6e6c13610ab6522732804dad68d3fe2e1437a535 100644 (file)
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -3,7 +3,7 @@
 
 #include <stdbool.h>
 #include <stdint.h>
-#include "off_t.h"
+#include "filesys/off_t.h"
 
 /* Disk used for filesystem. */
 extern struct disk *filesys_disk;