From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 2 Aug 2005 02:15:36 +0000 (+0000)
Subject: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ffd63f8d7e284c6d49889666953b581db8a8d0cd;p=pintos-anon

Fix typo.
---

diff --git a/doc/filesys.texi b/doc/filesys.texi
index b1b6165..9f06510 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -125,7 +125,7 @@ every time a write is made off the end of the file.  Your file system
 must allow this.
 
 There should be no predetermined limit on the size of a file, except
-that a disk cannot exceed the size of the disk (minus metadata).  This
+that a file cannot exceed the size of the disk (minus metadata).  This
 also applies to the root directory file, which should now be allowed
 to expand beyond its initial limit of 16 files.