X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=67af709bacc78df837ea7fc8a59eab4528728c49;hp=7d734c616109ef741fade27dcc422de77dbf40c8;hb=c1257e8ecdb9f1bec7a37d366d9daac8ba1f19c0;hpb=7410ba55d1c8076a8ea24e5afe54dc820a18733b

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 7d734c6..67af709 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -371,7 +371,7 @@ data segment can be adjusted with a system call, but you will not have
 to implement this.
 
 The code segment in Pintos starts at user virtual address
-@t{0x08084000}, approximately 128 MB from the bottom of the address
+@t{0x08048000}, approximately 128 MB from the bottom of the address
 space.  This value is specified in @bibref{SysV-i386} and has no deep
 significance.