X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-file-size.exp;h=6c8f2eaeaa1360c4a3cedb12836334514cc70f56;hb=c59a378430c0c26a9ae2c6b65d46d28607d264fe;hp=fcb5ce4990e5f62d26a3873cccc948ee83bbd5a1;hpb=ff076af15fa93292b8843e76bd6bab7ac5421095;p=pintos-anon

diff --git a/grading/filesys/grow-file-size.exp b/grading/filesys/grow-file-size.exp
index fcb5ce4..6c8f2ea 100644
--- a/grading/filesys/grow-file-size.exp
+++ b/grading/filesys/grow-file-size.exp
@@ -6,4 +6,3 @@
 (grow-file-size) open "testfile" for verification
 (grow-file-size) close "testfile"
 (grow-file-size) end
-