Minor doc improvements.

[pintos-anon] / doc / userprog.texi

diff --git a/doc/userprog.texi b/doc/userprog.texi
index bb05dfb326b091e48cdeff21f744c73ddd0179f6..11d9875ce7beabe78e2ebb8e9079d7402bb31113 100644 (file)
--- 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