X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;fp=doc%2Fvm.texi;h=53c88cbfc7e9645715f855442f037b6af0f58378;hb=0e3b7c61359944fe6282f783a7bc5f3c7b78790a;hp=adacb06f2045ceccf2f93b035188ac85d1ae5aa6;hpb=926e47d289d06a6bc9ae03029199cf736a78911e;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index adacb06..53c88cb 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -17,7 +17,7 @@ in project 3.
 You will continue to handle Pintos disks and file systems the same way
 you did in the previous assignment (@pxref{Using the File System}).
 
-The tests for project 3 (and later projects) will probably run faster if
+The tests for project 3 (and later projects) will run much faster if
 you use the qemu emulator, e.g.@: via @code{make check
 PINTOSOPTS='--qemu'}.