Fix up header guards.
[pintos-anon] / src / filesys / file.h
index afa1990102ac84db4dd929ff2eaa16a72dac6d1d..ea716aae032ffb78353c37c7dfc67f4ca620b1ee 100644 (file)
@@ -1,11 +1,11 @@
-#ifndef HEADER_FILE_H
-#define HEADER_FILE_H 1
+#ifndef FILESYS_FILE_H
+#define FILESYS_FILE_H
 
 #include <stdbool.h>
 #include <stdint.h>
 #include <stddef.h>
 #include "devices/disk.h"
-#include "off_t.h"
+#include "filesys/off_t.h"
 
 struct file 
   {
@@ -24,4 +24,4 @@ off_t file_length (struct file *);
 void file_seek (struct file *, off_t);
 off_t file_tell (struct file *);
 
-#endif /* file.h */
+#endif /* filesys/file.h */