Rename printk() to printf().

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

diff --git a/src/filesys/filehdr.h b/src/filesys/filehdr.h
index cb28416066862af204e105f6dedcce6e6ece6507..7c9f37f27ba1e510e282f4945cdd4fe5fcf5ddba 100644 (file)
--- a/src/filesys/filehdr.h
+++ b/src/filesys/filehdr.h
@@ -3,7 +3,7 @@
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "off_t.h"
+#include "filesys/off_t.h"
 #include "devices/disk.h"
 
 /* Number of direct sector pointers in a file header. */