X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fread-normal.c;h=9a63083b890f16cb8c40fecf45b085e42b650da3;hb=4419844a889e14a9d7b08205a41b7d97fe4b2bfc;hp=2e6f6817b8814d9ff49e1e46714a558f40d728f2;hpb=53c6e81d1cff87ffccfca368adcca8b092f2a0d1;p=pintos-anon

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