X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-root.c;h=7489507561cc612651ce7392583afd00c70d8dd5;hb=d64618b9f5ecb25d4805650a85cafea0bbe95b05;hp=2922824e4bd11e1038056c194f9737369f7ad90e;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-rm-root.c b/grading/filesys/dir-rm-root.c
index 2922824..7489507 100644
--- a/grading/filesys/dir-rm-root.c
+++ b/grading/filesys/dir-rm-root.c
@@ -6,6 +6,6 @@ const char test_name[] = "dir-rm-root";
 void
 test_main (void) 
 {
-  check (!remove ("/"), "remove \"/\" (must return false)");
-  check (create ("/a", 243), "create \"/a\"");
+  CHECK (!remove ("/"), "remove \"/\" (must return false)");
+  CHECK (create ("/a", 243), "create \"/a\"");
 }