X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;fp=src%2Fthreads%2Finit.c;h=a624ef57edf02a2b3aa7b392e5a4fc37abded034;hp=ef82cb192083e398f1c859a2faaf403a8c35ff8e;hb=c0206643b024b6f0e6cde1cbb5e7d37abbc84c69;hpb=3cd7e2f105756543b68f937f327131c7bbaaa88e

diff --git a/src/threads/init.c b/src/threads/init.c
index ef82cb1..a624ef5 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -46,7 +46,7 @@ uint32_t *base_page_dir;
 bool enable_mlfqs;
 
 #ifdef FILESYS
-/* -f: Format the filesystem? */
+/* -f: Format the file system? */
 static bool format_filesys;
 #endif
 
@@ -119,7 +119,7 @@ main (void)
   timer_calibrate ();
 
 #ifdef FILESYS
-  /* Initialize filesystem. */
+  /* Initialize file system. */
   disk_init ();
   filesys_init (format_filesys);
 #endif