X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-empty-name.c;h=9d423c89f243883bb3ae253b98a5c4f03c323ecb;hb=a8523360174b78e51bf25b93c01d546faac33d84;hp=427eb2d23c37b806ad99957aab1af84e9c10d4d0;hpb=0f5c19ccf179b35b39ae46dffec60592baeeec00;p=pintos-anon

diff --git a/grading/filesys/dir-empty-name.c b/grading/filesys/dir-empty-name.c
index 427eb2d..9d423c8 100644
--- a/grading/filesys/dir-empty-name.c
+++ b/grading/filesys/dir-empty-name.c
@@ -6,5 +6,5 @@ const char test_name[] = "dir-empty-name";
 void
 test_main (void) 
 {
-  check (!create ("", 0), "create \"\" (must return false)");
+  CHECK (!create ("", 0), "create \"\" (must return false)");
 }