X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=00c0f67e21740c550ca2c0d44ae782ebd7b597d1;hb=fe97613eb0d912354b34a824f2db17391bd4de90;hp=7322dd52946c2c9b601063bc717dbd2f38d245cf;hpb=007964552c968c55f62a289b8d8eb48d1f4945d9;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 7322dd5..00c0f67 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -594,7 +594,7 @@ the program cannot load or run for any reason.
 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 (i.e.@: killed due to an exception).  If
-@var{pid} is invalid or if it was not a child of the
+@var{pid} is 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.