X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvm.texi;h=6176bbd8dbf4ad38a170347586b18866b8aaa779;hb=e4d5401270aa5abd4bbff76e03a5e4e13372f218;hp=840e506a129586d9c2857f22a86a4325cdfafc01;hpb=297ed9ddcd2bd29e038357e47d4a43a5a9df8180;p=pintos-anon

diff --git a/doc/vm.texi b/doc/vm.texi
index 840e506..6176bbd 100644
--- a/doc/vm.texi
+++ b/doc/vm.texi
@@ -670,7 +670,7 @@ kernel functions need to obtain memory.
 You can layer some other allocator on top of @func{palloc_get_page} if
 you like, but it should be the underlying mechanism.
 
-Also, you can use the @option{-u} option to @command{pintos} to limit
+Also, you can use the @option{-ul} option to @command{pintos} to limit
 the size of the user pool, which makes it easy to test your VM
 implementation with various user memory sizes.