Fix typo.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 2d61506b6882bbfdb81b170fb1de9779110dc8d1..15902a2cd3db19fd7e77209b9d82127190a96759 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,9 +1,5 @@
 -*- text -*-
 
-* Grader:
-
-  - Fix bug where failures are being treated as warnings.
-
 * Userprog project:
 
   - Move `join' implementation here, from `threads' project, to help