X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=d5eee6d0814675ef5195935dc61be786ae74c1b2;hb=6522eccbdf1e2cd72596edc0c641bd25e4d27f9d;hp=59b198abdda810745fd6c5d950a5ceb8723c6378;hpb=6863628ceb049af4dcb60d9d04286d2b5b25ef94;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 59b198a..d5eee6d 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -442,8 +442,8 @@ static inline bool put_user (uint8_t *udst, uint8_t byte) {
 
 Each of these functions assumes that the user address has already been
 verified to be below @code{PHYS_BASE}.  They also assume that you've
-modified @func{page_fault} so that a page fault in the kernel causes
-@code{eax} to be set to 0 and its former value copied into @code{eip}.
+modified @func{page_fault} so that a page fault in the kernel merely sets
+@code{eax} to 0 and copies its former value into @code{eip}.
 
 @node Project 2 Suggested Order of Implementation
 @section Suggested Order of Implementation