X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=c4bd9e137bd2c93d4b4c47494d0a581f616d299f;hb=f84aed045737775ae0bd33b1fa27c48f73f9cd47;hp=ab6115ce6c67b348a40f5eb1c7e9707c8e1d29c9;hpb=5dc8313546997693da58c83ee52b74dcaa7588ce;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index ab6115c..c4bd9e1 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -599,7 +599,7 @@ the program cannot load or run for any reason.
 @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 (i.e.@: killed due to an exception).  If
+was terminated by the kernel (e.g.@: killed due to an exception).  If
 @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