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