X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-parallel.exp;h=a3ac6c3f1fcb76f62271d00cd886017628a3fa8c;hb=60cba7a21c87442984f87f97597173e2b6357ac0;hp=bc914e623644d62ea8aed55313fbe5e5f749bd4d;hpb=c49ca891e62eb091e3c923a77bf2ea907d73220f;p=pintos-anon

diff --git a/grading/vm/page-parallel.exp b/grading/vm/page-parallel.exp
index bc914e6..a3ac6c3 100644
--- a/grading/vm/page-parallel.exp
+++ b/grading/vm/page-parallel.exp
@@ -6,4 +6,3 @@
 (page-parallel) join child 1
 (page-parallel) join child 2
 (page-parallel) end
-page-parallel: exit(0)