X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fwrite-boundary.c;h=860e2a278c56ddb5ed7f014708215955fa772ba3;hb=6ebebc408e12133c4130923081c40bbfbdd281d4;hp=a31dad064feeb9c9aa9ce995108ff32f1252734d;hpb=53c6e81d1cff87ffccfca368adcca8b092f2a0d1;p=pintos-anon

diff --git a/grading/userprog/write-boundary.c b/grading/userprog/write-boundary.c
index a31dad0..860e2a2 100644
--- a/grading/userprog/write-boundary.c
+++ b/grading/userprog/write-boundary.c
@@ -30,7 +30,7 @@ main (void)
 
   byte_cnt = write (handle, sample_p, sizeof sample - 1);
   if (byte_cnt != sizeof sample - 1)
-    printf ("(write-boundary) fail: write() returned %d instead of %d\n",
+    printf ("(write-boundary) fail: write() returned %d instead of %zu\n",
             byte_cnt, sizeof sample - 1);
   
   printf ("(write-boundary) end\n");