X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fwrite-normal.c;h=145d0bf12ec71da8a0fd3aa4e0f8e4467420e691;hb=5780c9f434cca090f88463b7f0199d49b4ded288;hp=b2e96e86927aa351e6dcb64d1191d937d69c17fa;hpb=53c6e81d1cff87ffccfca368adcca8b092f2a0d1;p=pintos-anon

diff --git a/grading/userprog/write-normal.c b/grading/userprog/write-normal.c
index b2e96e8..145d0bf 100644
--- a/grading/userprog/write-normal.c
+++ b/grading/userprog/write-normal.c
@@ -18,7 +18,7 @@ main (void)
 
   byte_cnt = write (handle, sample, sizeof sample - 1);
   if (byte_cnt != sizeof sample - 1)
-    printf ("(write-normal) fail: write() returned %d instead of %d\n",
+    printf ("(write-normal) fail: write() returned %d instead of %zu\n",
             byte_cnt, sizeof sample - 1);
   
   printf ("(write-normal) end\n");