X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.exp;h=f048fc6a3a4fe14eb3cb5f696dace028a0e096a4;hb=8272d44935750ff99fac2a9dba00cbfe6b63dbb0;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..f048fc6 100644
--- a/grading/vm/pt-write-code.exp
+++ b/grading/vm/pt-write-code.exp
@@ -1,2 +1 @@
 (pt-write-code) begin
-pt-write-code: exit(-1)