X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=7c835b680163662459113d1b37961894c696c13c;hb=2bca8a9987f0856a46ad7474d905030f86dedd89;hp=bd2dfd9180e12acea78fb72c8a4ccf909ea38c70;hpb=acf2906481ff3377d4b84ac287235061ddc59294;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index bd2dfd9..7c835b6 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -16,8 +16,8 @@ relevant parts below.
 
 You can build project 2 on top of your project 1 submission or you can
 start with a fresh copy.  No code from project 1 is required for this
-assignment.  The ``alarm clock'' functionality may be useful in later
-projects, but it is not strictly required.
+assignment.  The ``alarm clock'' functionality may be useful in
+projects 3 and 4, but it is not strictly required.
 
 @menu
 * Project 2 Background::