X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=65caf334a8495cdc3a61de1fe945b85adfa67117;hb=0e3b7c61359944fe6282f783a7bc5f3c7b78790a;hp=8ed52b1e6aca46b28c40c9d4a962ee95ee28f7d5;hpb=926e47d289d06a6bc9ae03029199cf736a78911e;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 8ed52b1..65caf33 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -21,7 +21,7 @@ projects 3 and 4, but it is not strictly required.
 
 You might find it useful to go back and reread how to run the tests
 (@pxref{Testing}).  In particular, the tests for project 2 (and later
-projects) will probably run faster if you use the qemu emulator, e.g.@:
+projects) will run much faster if you use the qemu emulator, e.g.@:
 via @code{make check PINTOSOPTS='--qemu'}.
 
 @menu