X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ffilesys.texi;h=08ac31c6a97a0151abd3d8c99434fbb781cb1b87;hb=0e3b7c61359944fe6282f783a7bc5f3c7b78790a;hp=49117a502ae1fad37b20f1ba9ff1a77b3cb79c44;hpb=926e47d289d06a6bc9ae03029199cf736a78911e;p=pintos-anon

diff --git a/doc/filesys.texi b/doc/filesys.texi
index 49117a5..08ac31c 100644
--- a/doc/filesys.texi
+++ b/doc/filesys.texi
@@ -14,7 +14,7 @@ filesys submission.  If you build on project 3, then all of the project
 @file{filesys/Make.vars} to enable VM functionality.  You can receive up
 to 5% extra credit if you do enable VM.
 
-The tests for project 4 will probably run faster if
+The tests for project 4 will run much faster if
 you use the qemu emulator, e.g.@: via @code{make check
 PINTOSOPTS='--qemu'}.