X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=85605cc2294f2e1a30eb76e957aefc271fdd933c;hb=82b7512c230e93f7fe0c265a7161b59997f197f4;hp=d9d5504869fcf78818a45f0d75e2698b5533e95a;hpb=38d8e6df4c2ecb2000a8bfbfdd4f9640b89f4673;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index d9d5504..85605cc 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -12,11 +12,10 @@ You will be using the @file{vm} directory for this project.  There is
 no new code to get acquainted with for this assignment.  The @file{vm}
 directory contains only the @file{Makefile}s.  The only change from
 @file{userprog} is that this new @file{Makefile} turns on the setting
-@option{-DVM}, which you will need for this assignment.  All code you
-write will either be newly generated files (e.g.@: if you choose to
-implement your paging code in their own source files), or will be
-modifications to pre-existing code (e.g.@: you will change the
-behavior of @file{process.c} significantly).
+@option{-DVM}.  All code you write will either be newly generated
+files (e.g.@: if you choose to implement your paging code in their own
+source files), or will be modifications to pre-existing code (e.g.@:
+you will change the behavior of @file{process.c} significantly).
 
 You will be building this assignment on the last one.  It will benefit
 you to get your project 2 in good working order before this assignment