Rename "segment table" to "supplemental page table".

[pintos-anon] / doc / reference.texi

diff --git a/doc/reference.texi b/doc/reference.texi
index b51c44ecf657607dee5b217c793f90d7ea7ab53b..ec9086729403d1eaf4a748043f3c1ad745b4c005 100644 (file)
--- a/doc/reference.texi
+++ b/doc/reference.texi
@@ -1615,7 +1615,7 @@ defined in @file{threads/vaddr.h}.
 
 You do not need to understand the PTE format to do the Pintos
 projects, unless you wish to incorporate the page table into your
-segment table (@pxref{Managing the Segment Table}).
+supplemental page table (@pxref{Managing the Supplemental Page Table}).
 
 The actual format of a page table entry is summarized below.  For
 complete information, refer to section 3.7, ``Page Translation Using