X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=25b7a70b7c6679bae217742b8e5203060b29abf3;hb=155701580fc575ce41ffe7fa027c45c86a4dbe4b;hp=f70957f6617ba4a39f32b6a9f7129adb0214d620;hpb=e5a71e1b767082687454f54f3c72b53665101d74;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index f70957f..25b7a70 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -832,7 +832,7 @@ After we push all of the strings onto the stack, we adjust the stack
 pointer so that it is word-aligned: that is, we move it down to the
 next 4-byte boundary.  This is required because we will next be
 placing several words of data on the stack, and they must be aligned
-in order to be read correctly.  In our example, as you'll see below,
+to be read correctly.  In our example, as you'll see below,
 the strings start at address @t{0xffed}.  One word below that would be
 at @t{0xffe9}, so we could in theory put the next word on the stack
 there.  However, since the stack pointer should always be