X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-over-file.c;h=8bcb36e43507cde802954b2b3410dd4c495c9355;hb=a82e6fa3ef7f96e7b4cf885e790f3b545218c846;hp=01347e14befb6530cd717a0cb8f4fab51a257e82;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-over-file.c b/grading/filesys/dir-over-file.c
index 01347e1..8bcb36e 100644
--- a/grading/filesys/dir-over-file.c
+++ b/grading/filesys/dir-over-file.c
@@ -6,6 +6,6 @@ const char test_name[] = "dir-over-file";
 void
 test_main (void) 
 {
-  check (mkdir ("abc"), "mkdir \"abc\"");
-  check (!create ("abc", 0), "create \"abc\" (must return false)");
+  CHECK (mkdir ("abc"), "mkdir \"abc\"");
+  CHECK (!create ("abc", 0), "create \"abc\" (must return false)");
 }