X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fread-boundary.c;h=1fd187fe97252fdd3bbafa6d6487eef6d8bae555;hb=a31ff4c0953c97bd986ec2150d55e6d8909e9047;hp=41c798ea7f06302785e85dab5471edcaf10e447d;hpb=51b7d74c2fce5c54cd69b630c8be035db5ff29ba;p=pintos-anon

diff --git a/grading/userprog/read-boundary.c b/grading/userprog/read-boundary.c
index 41c798e..1fd187f 100644
--- a/grading/userprog/read-boundary.c
+++ b/grading/userprog/read-boundary.c
@@ -30,7 +30,7 @@ main (void)
 
   byte_cnt = read (handle, actual_p, sizeof sample - 1);
   if (byte_cnt != sizeof sample - 1)
-    printf ("(read-boundary) fail: read() returned %d instead of %d\n",
+    printf ("(read-boundary) fail: read() returned %d instead of %zu\n",
             byte_cnt, sizeof sample - 1);
   else if (strcmp (sample, actual_p))
     printf ("(read-boundary) fail: expected text differs from actual:\n%s",