X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=129d7971c4969c6743daf8d77a199ae776811856;hp=9ab04476741e4f4580afc15ed454e71e34a237e6;hb=62cc6ff58f8b07dea772f8acfdfd9600f9c71ff4;hpb=287d94b7afcfb6dd65fc6fde02e9a4dc6e099a16

diff --git a/src/threads/init.c b/src/threads/init.c
index 9ab0447..129d797 100644
--- a/src/threads/init.c
+++ b/src/threads/init.c
@@ -62,7 +62,7 @@ main (void)
   console_init ();
 
   /* Greet user. */
-  printf ("Pintos booting with %'d kB RAM...\n", ram_pages * (PGSIZE / 1024));
+  printf ("Pintos booting with %'zd kB RAM...\n", ram_pages * (PGSIZE / 1024));
 
   /* Parse command line. */
   argv_init ();