X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-merge-par.c;h=c602d160269e58786c2ebf3977b20a38be31f6e3;hb=059da604af2d69cf3a765df3d63db693edf51d3b;hp=dd24576b5dc34c6e9579956e141432f3adfe4537;hpb=398a06d84861eef6d609dbefe0295fbb0ea9e422;p=pintos-anon

diff --git a/grading/vm/page-merge-par.c b/grading/vm/page-merge-par.c
index dd24576..c602d16 100644
--- a/grading/vm/page-merge-par.c
+++ b/grading/vm/page-merge-par.c
@@ -46,7 +46,7 @@ sort (void)
       printf ("(page-merge-par) sort chunk %zu\n", i);
 
       /* Write this chunk to a file. */
-      snprintf (fn, sizeof fn, "buf%d", i);
+      snprintf (fn, sizeof fn, "buf%zu", i);
       create (fn, CHUNK_SIZE);
       fd = open (fn);
       if (fd < 0) 
@@ -79,7 +79,7 @@ sort (void)
         }
 
       /* Read chunk back from file. */
-      snprintf (fn, sizeof fn, "buf%d", i);
+      snprintf (fn, sizeof fn, "buf%zu", i);
       fd = open (fn);
       if (fd < 0) 
         {