X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.exp;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=75efee76500d95f53adf73e178b4a9872d93f131;hp=5844146bf6c49c58a7c41f813420cebb8785c8f0;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;p=pintos-anon

diff --git a/grading/vm/pt-write-code.exp b/grading/vm/pt-write-code.exp
index 5844146..e69de29 100644
--- a/grading/vm/pt-write-code.exp
+++ b/grading/vm/pt-write-code.exp
@@ -1,2 +0,0 @@
-(pt-write-code) begin
-pt-write-code: exit(-1)