Rename printk() to printf().

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

diff --git a/src/filesys/file.h b/src/filesys/file.h
index afa1990102ac84db4dd929ff2eaa16a72dac6d1d..28495c23c307c85a39279512318806191dd465c7 100644 (file)
--- a/src/filesys/file.h
+++ b/src/filesys/file.h
@@ -5,7 +5,7 @@
 #include <stdint.h>
 #include <stddef.h>
 #include "devices/disk.h"
-#include "off_t.h"
+#include "filesys/off_t.h"
 
 struct file 
   {