X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Ffslib.c;h=be17f298d73a89587eee0a00c212ca084f89f166;hb=d3da2d3469876caa9653516e0aee5795c87faf58;hp=78e168a96af36cadc723c326fd711b21922949b4;hpb=6f1dc3456a814d2350b5b4f514a71ec30504a345;p=pintos-anon

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);
     }
 }