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

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 88d8bbd..8524219 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -622,7 +622,7 @@ the program cannot load or run for any reason.
 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
+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