Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / page-merge-par.exp

diff --git a/grading/vm/page-merge-par.exp b/grading/vm/page-merge-par.exp
index 6a5ba2fe78ffdf0610eea1b3c07aab07e1978768..c669849448493da75fc46f5364d1b30ad81ee995 100644 (file)
--- 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