X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fstandards.texi;h=a1c70a47961a69baac2f0bfe906c15870c88677d;hb=2cfc156c39840ce7f1cda6b473de1322691a8a0b;hp=ab0f01a15c4965c0641f787d606059e90ee7bc3b;hpb=a4639f9b62f3a2fb38b0c0fc8a1ce34a6d9aa790;p=pintos-anon

diff --git a/doc/standards.texi b/doc/standards.texi
index ab0f01a..a1c70a4 100644
--- a/doc/standards.texi
+++ b/doc/standards.texi
@@ -80,9 +80,9 @@ There are a few exceptions:
 
 @itemize @bullet
 @item
-Problem 1-4, the advanced scheduler.  We must be able to turn this on
+Problem 1-3, the advanced scheduler.  We must be able to turn this on
 and off with a compile-time directive.  You must use the macro name we
-specify for that part.  @xref{Problem 1-4 Advanced Scheduler}, for
+specify for that part.  @xref{Problem 1-3 Advanced Scheduler}, for
 details.
 
 @item