From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 9 Jan 2005 02:19:38 +0000 (+0000)
Subject: %d needed to be %zu
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=d3da2d3469876caa9653516e0aee5795c87faf58

%d needed to be %zu
---

diff --git a/grading/filesys/fslib.c b/grading/filesys/fslib.c
index 78e168a..be17f29 100644
--- a/grading/filesys/fslib.c
+++ b/grading/filesys/fslib.c
@@ -196,7 +196,7 @@ join_children (pid_t pids[], size_t child_cnt)
     {
       int status = join (pids[i]);
       CHECK (status == (int) i,
-             "join child %zu of %zu returned %d (expected %d)",
+             "join child %zu of %zu returned %d (expected %zu)",
              i + 1, child_cnt, status, i);
     }
 }