X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=3de5f85d7b1f4446e5635cdcc160242010dd9d73;hb=18c42969655f3a3de4ed601d0f6ce865ecb4a1bf;hp=4f31b7c1ce96d7d72288c4d6b91d1b5850d6acad;hpb=be003c4e8103d90ef33a1c432af4f0322768663c;p=pintos-anon

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index 4f31b7c..3de5f85 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -2,6 +2,7 @@
 #define HEADER_FILESYS_H 1
 
 #include <stdbool.h>
+#include <stdint.h>
 
 #ifndef OFF_T
 #define OFF_T