X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-over-file.c;h=8bcb36e43507cde802954b2b3410dd4c495c9355;hb=3cebac2006571a93ea0cbf992faa5eec3454d570;hp=01347e14befb6530cd717a0cb8f4fab51a257e82;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;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)");
 }