Apply appropriate changes from main branch to bring win0405-branch up

[pintos-anon] / doc / vm.texi

diff --git a/doc/vm.texi b/doc/vm.texi
index 90d407d2bc5edd7bd04c7b35ca227488224f89c5..4325b1361706de25909cab652022a2eb13a4c3ad 100644 (file)
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -79,7 +79,7 @@ process would install its own page table into the machine.  The page
 table contained all the virtual-to-physical translations for the
 process.  Whenever the processor needed to look up a translation, it
 consulted the page table.  As long as the process only accessed
-memory that it didn't own, all was well.  If the process accessed
+memory that it owned, all was well.  If the process accessed
 memory it didn't own, it ``page faulted'' and @func{page_fault}
 terminated the process.