X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Freview.txt;fp=grading%2Fuserprog%2Freview.txt;h=6efca7181999f2edad9b5e11c6b6e4c9b4073f63;hb=9890d47f4dba4ab2784a4ed5d424cddf697cfe18;hp=c48657e1898666fd1d3a805bcd8248be1cb9560a;hpb=5149cb74af4c5c9d7ab5da98cfabc4862eb6cc16;p=pintos-anon

diff --git a/grading/userprog/review.txt b/grading/userprog/review.txt
index c48657e..6efca71 100644
--- a/grading/userprog/review.txt
+++ b/grading/userprog/review.txt
@@ -16,7 +16,7 @@ Quality of DESIGNDOC
       Allocation of file descriptors.
       Handling exceptions and related cleanup.
       pid_t rationale (if they changed tid_t -> pid_t mapping).
-      Synchronization of system calls and filesystem.
+      Synchronization of system calls and file system.
 
 Overall:
   -1 Gratuitous use of malloc() (e.g. for allocating a list or a lock)