X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=doc%2Fuserprog.texi;h=11d9875ce7beabe78e2ebb8e9079d7402bb31113;hp=bb05dfb326b091e48cdeff21f744c73ddd0179f6;hb=2ca95dc97c9dd591d0f71f1f4c411b3aeb82d690;hpb=f294e7e618e110f8203ea7cf800acb2e1334774b

diff --git a/doc/userprog.texi b/doc/userprog.texi
index bb05dfb..11d9875 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -314,11 +314,6 @@ the running process.  However, even in the kernel, an attempt to
 access memory at an unmapped user virtual address
 will cause a page fault.
 
-You must handle memory fragmentation gracefully, that is, a process that
-needs @var{N} pages of user virtual memory must not require those pages
-to be contiguous in physical memory (or, equivalently, in kernel virtual
-memory).
-
 @menu
 * Typical Memory Layout::       
 @end menu