X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-merge-par.exp;h=c669849448493da75fc46f5364d1b30ad81ee995;hb=398a06d84861eef6d609dbefe0295fbb0ea9e422;hp=6a5ba2fe78ffdf0610eea1b3c07aab07e1978768;hpb=b39736b0506a065e5b9980f7926d9c6c663f242f;p=pintos-anon

diff --git a/grading/vm/page-merge-par.exp b/grading/vm/page-merge-par.exp
index 6a5ba2f..c669849 100644
--- a/grading/vm/page-merge-par.exp
+++ b/grading/vm/page-merge-par.exp
@@ -1,5 +1,5 @@
 (page-merge-par) begin
-page-merge-par) init
+(page-merge-par) init
 (page-merge-par) sort chunk 0
 (page-merge-par) sort chunk 1
 (page-merge-par) sort chunk 2