-u option should be -ul.

Thanks to Josh Wiseman <joshwise@stanford.edu> for reporting this bug.

diff --git a/doc/vm.texi b/doc/vm.texi
index 840e506a129586d9c2857f22a86a4325cdfafc01..6176bbd8dbf4ad38a170347586b18866b8aaa779 100644 (file)
--- 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.
 
 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.
 
 the size of the user pool, which makes it easy to test your VM
 implementation with various user memory sizes.