%zd -> %zu
[pintos-anon] / src / threads / init.c
index 9347ad42b9ecffd5b9d155691478191b738ab831..ef67071aec53daceb476b02faf3af4fe48fd7824 100644 (file)
@@ -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 ();