X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=88d8bbddccded5d36354ac30603901d01cc458e5;hp=b50dc364829edcc186491b875e68e1b4cd470a72;hb=03f3426d4da28916900a7b811e72b862c5411d0d;hpb=695e26795ff43edb514abd99e566d1eee32194d6

diff --git a/doc/userprog.texi b/doc/userprog.texi
index b50dc36..88d8bbd 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -619,10 +619,11 @@ the program cannot load or run for any reason.
 @end deftypefn
 
 @deftypefn {System Call} int wait (pid_t @var{pid})
-Waits for process @var{pid} to die and returns the status it passed to
-@code{exit}.  Returns -1 if @var{pid}
-was terminated by the kernel (e.g.@: killed due to an exception).  If
-@var{pid} is does not refer to a child of the
+If process @var{pid} is still alive, waits until it dies.
+Then, returns the status that @var{pid} passed to @code{exit},
+or -1 if @var{pid}
+was terminated by the kernel (e.g.@: killed due to an exception).=  If
+@var{pid} does not refer to a child of the
 calling thread, or if @code{wait} has already been successfully
 called for the given @var{pid}, returns -1 immediately, without
 waiting.