X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=0324a58214840a26d546fab2daf4e84c7f0f0622;hb=d80dc83cd65332de026aa01035967fc031d0f305;hp=9ca19a58645a7fe89f3a05ed0d454e19248f5b8f;hpb=5bea544e0a9df3e1bf5d18b49018f0c9df614fb0;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 9ca19a5..0324a58 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -38,7 +38,7 @@ working with, you should probably undo the test cases from project 1.
 * Using the File System::       
 * How User Programs Work::      
 * Virtual Memory Layout::       
-* Global Requirements::         
+* Grading Requirements::        
 * Problem 2-1 Argument Passing::  
 * Problem 2-2 System Calls::    
 * User Programs FAQ::