From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 11 Feb 2007 04:45:07 +0000 (+0000)
Subject: Fix typo.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ea47278ca518daf052a8c9d49a496bf94a146f05;p=pintos-anon

Fix typo.
---

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