From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 5 Mar 2005 07:14:52 +0000 (+0000)
Subject: Fix menu.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64e9bcdf25636d647d18f6a584aa5f87e212f0da;p=pintos-anon

Fix menu.
---

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::