X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Ffilesys%2Fgrow-file-size.exp;h=6c8f2eaeaa1360c4a3cedb12836334514cc70f56;hb=d3da2d3469876caa9653516e0aee5795c87faf58;hp=fcb5ce4990e5f62d26a3873cccc948ee83bbd5a1;hpb=6ebce2100b371612b554bf17a3ce613a4093df37;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
-