X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fdir-over-file.exp;h=2bc552b4e0a02fa61c87425fdc9a0409b6b1591a;hb=24a570e28d45a8ec1dfb0e83abb78c488155e149;hp=206103b28f471c6311a4495df31e74e10cc142a1;hpb=dd2f9330108fbf488d9de8be9b4a7419d0ec97a4;p=pintos-anon

diff --git a/grading/filesys/dir-over-file.exp b/grading/filesys/dir-over-file.exp
index 206103b..2bc552b 100644
--- a/grading/filesys/dir-over-file.exp
+++ b/grading/filesys/dir-over-file.exp
@@ -1,4 +1,4 @@
-(dir-dir-as-file) begin
-(dir-dir-as-file) mkdir "abc"
-(dir-dir-as-file) create "abc" (must return false)
-(dir-dir-as-file) end
+(dir-over-file) begin
+(dir-over-file) mkdir "abc"
+(dir-over-file) create "abc" (must return false)
+(dir-over-file) end