X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-rm-vine.c;h=20b52a233e3486fdb6ad713cd1322daa28bfc30a;hb=c36e5b768f46fc098377b9a70d2b1c02405ef14a;hp=571112a92072ef2a36b7f749150f635378513794;hpb=5669c5eba155f6a0f8ca45cdc4aa8d4412036f13;p=pintos-anon

diff --git a/grading/filesys/dir-rm-vine.c b/grading/filesys/dir-rm-vine.c
index 571112a..20b52a2 100644
--- a/grading/filesys/dir-rm-vine.c
+++ b/grading/filesys/dir-rm-vine.c
@@ -31,5 +31,5 @@ test_main (void)
       *strrchr (tmp, '/') = 0;
     }
 
-  check (open (filename) == 1, "open \"%s\" (must return -1)", filename);
+  check (open (filename) == -1, "open \"%s\" (must return -1)", filename);
 }