Get rid of unnecessary barrier. Improve comment.

[pintos-anon] / grading / vm / review.txt

diff --git a/grading/vm/review.txt b/grading/vm/review.txt
index ad81e4f876508f432e1e8aac13af78714fc66562..a75934570a82ea26adf8e666270e21832ae3e8eb 100644 (file)
--- a/grading/vm/review.txt
+++ b/grading/vm/review.txt
@@ -9,7 +9,7 @@ TESTCASES [[/10]]
 DESIGN [[/40]]
 --------------
 
-DESIGNDOC (per problem):
+DESIGNDOC:
   -10 Doesn't discuss page table design
   -10 Doesn't discuss swap design
   -5 Doesn't discuss page replacement algorithm