X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=db1ad33bbf3e458ea2657a3b03e3f0eab270790d;hb=9890d47f4dba4ab2784a4ed5d424cddf697cfe18;hp=9db073776ab70c7fadb9e711325b991a23e5e552;hpb=5149cb74af4c5c9d7ab5da98cfabc4862eb6cc16;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 9db0737..db1ad33 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -506,9 +506,9 @@ call functionality.
 @anchor{Synchronizing File Access}
 You must make sure that system calls are properly synchronized so that
 any number of user processes can make them at once.  In particular, it
-is not safe to call into the filesystem code provided in the
+is not safe to call into the file system code provided in the
 @file{filesys} directory from multiple threads at once.  For now, we
-recommend adding a single lock that controls access to the filesystem
+recommend adding a single lock that controls access to the file system
 code.  You should acquire this lock before calling any functions in
 the @file{filesys} directory, and release it afterward.  Don't forget
 that @func{process_execute} also accesses files.  @strong{For now, we