Revisions.

[pintos-anon] / grading / vm / page-shuffle.c

diff --git a/grading/vm/page-shuffle.c b/grading/vm/page-shuffle.c
index aadcb10512af45bee85236803d75beb15ec87216..9f650998215eb866d26b1bafb4f35a16e8721499 100644 (file)
--- a/grading/vm/page-shuffle.c
+++ b/grading/vm/page-shuffle.c
@@ -58,7 +58,7 @@ main (void)
   for (i = 0; i < 10; i++)
     {
       shuffle ();
-      printf ("(page-shuffle) shuffle %d: cksum=%lu\n",
+      printf ("(page-shuffle) shuffle %zu: cksum=%lu\n",
               i, cksum (buf, sizeof buf));
     }