X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finit.c;h=ef67071aec53daceb476b02faf3af4fe48fd7824;hb=10c04839ee7ef3dc86c550e47c1efded086c537e;hp=9347ad42b9ecffd5b9d155691478191b738ab831;hpb=63b811f31e550794fbbcaa75ea51b41023178f28;p=pintos-anon

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