X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fvm%2Fpage-merge-par.exp;h=c669849448493da75fc46f5364d1b30ad81ee995;hb=dc17c571d79b596194b88c50d5113e4a1b2f2238;hp=6a5ba2fe78ffdf0610eea1b3c07aab07e1978768;hpb=75efee76500d95f53adf73e178b4a9872d93f131;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