"file system" not "filesystem"

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

diff --git a/grading/userprog/review.txt b/grading/userprog/review.txt
index c48657e1898666fd1d3a805bcd8248be1cb9560a..6efca7181999f2edad9b5e11c6b6e4c9b4073f63 100644 (file)
--- 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)