Fix "%d"s that should be "%zu"s.

[pintos-anon] / grading / userprog / multi-child-fd.c

diff --git a/grading/userprog/multi-child-fd.c b/grading/userprog/multi-child-fd.c
index 4a8c89fae509f67ab2b4693c6e9ffa951375299c..50b5a50d045359af6ff79049e29b524ceee755d5 100644 (file)
--- a/grading/userprog/multi-child-fd.c
+++ b/grading/userprog/multi-child-fd.c
@@ -24,7 +24,7 @@ main (void)
 
   byte_cnt = read (handle, actual, sizeof actual - 1);
   if (byte_cnt != sizeof actual - 1)
-    printf ("(multi-child-fd) fail: read() returned %d instead of %d\n",
+    printf ("(multi-child-fd) fail: read() returned %d instead of %zu\n",
             byte_cnt, sizeof actual - 1);
   else if (strcmp (sample, actual))
     printf ("(multi-child-fd) fail: expected text differs from actual:\n%s",