1 files changed, 0 insertions, 15 deletions

diff --git a/pintos-progos/filesys/off_t.h b/pintos-progos/filesys/off_t.h
deleted file mode 100644
index 9caff4d..0000000
--- a/pintos-progos/filesys/off_t.h
+++ /dev/null
@@ -1,15 +0,0 @@
-#ifndef FILESYS_OFF_T_H
-#define FILESYS_OFF_T_H
-
-#include <stdint.h>
-
-/* An offset within a file.
-   This is a separate header because multiple headers want this
-   definition but not any others. */
-typedef int32_t off_t;
-
-/* Format specifier for printf(), e.g.:
-   printf ("offset=%"PROTd"\n", offset); */
-#define PROTd PRId32
-
-#endif /* filesys/off_t.h */