X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Ffilesys%2Ffilesys.h;h=5a03f81c99d0f5923f2f45f1027272fcab4517b8;hp=9c30c2539101d8c39a43b4abb34842a1d877706b;hb=c0206643b024b6f0e6cde1cbb5e7d37abbc84c69;hpb=3cd7e2f105756543b68f937f327131c7bbaaa88e

diff --git a/src/filesys/filesys.h b/src/filesys/filesys.h
index 9c30c25..5a03f81 100644
--- a/src/filesys/filesys.h
+++ b/src/filesys/filesys.h
@@ -8,7 +8,7 @@
 #define FREE_MAP_SECTOR 0       /* Free map file inode sector. */
 #define ROOT_DIR_SECTOR 1       /* Root directory file inode sector. */
 
-/* Disk used for filesystem. */
+/* Disk used for file system. */
 extern struct disk *filesys_disk;
 
 void filesys_init (bool format);