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

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