X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpt-write-code.exp;h=f048fc6a3a4fe14eb3cb5f696dace028a0e096a4;hb=e23c0d5dc156a42b3f5169cbac692cfc4fb6394d;hp=5844146bf6c49c58a7c41f813420cebb8785c8f0;hpb=6399b258873072cdb546dff84c37e735cda25ac7;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)