X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=grading%2Fvm%2Fpage-linear.exp;h=4125d1335828ef22e62e0a77311eb75f29873c82;hb=4742fa3312bdc0d43cd8a11775c7605a9f57eb5a;hp=291183b0bf5f060b33f85649f52ca2902fa5408b;hpb=6399b258873072cdb546dff84c37e735cda25ac7;p=pintos-anon

diff --git a/grading/vm/page-linear.exp b/grading/vm/page-linear.exp
index 291183b..4125d13 100644
--- a/grading/vm/page-linear.exp
+++ b/grading/vm/page-linear.exp
@@ -3,4 +3,3 @@
 (page-linear) read/modify/write pass two
 (page-linear) read pass
 (page-linear) end
-page-linear: exit(0)