X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-empty-name.c;h=9d423c89f243883bb3ae253b98a5c4f03c323ecb;hb=4a4295f76cbc154617e8093d7ad7851cd97c6748;hp=427eb2d23c37b806ad99957aab1af84e9c10d4d0;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;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)");
 }