X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=grading%2Fvm%2Fmmap-shuffle.c;h=d576e9aea26fa117b9750a6f7fb8c6194b58a20f;hb=a0b5ffb1de46bf4cf5b13fbfb8c0ae550f98d57c;hp=273bb4e14606ddd6332e5aaadfe9fe1ad367f776;hpb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;p=pintos-anon

diff --git a/grading/vm/mmap-shuffle.c b/grading/vm/mmap-shuffle.c
index 273bb4e..d576e9a 100644
--- a/grading/vm/mmap-shuffle.c
+++ b/grading/vm/mmap-shuffle.c
@@ -83,7 +83,7 @@ main (void)
   for (i = 0; i < 10; i++)
     {
       shuffle ();
-      printf ("(mmap-shuffle) shuffle %d: cksum=%lu\n",
+      printf ("(mmap-shuffle) shuffle %zu: cksum=%lu\n",
               i, cksum (buf, SIZE));
     }