X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=15902a2cd3db19fd7e77209b9d82127190a96759;hb=192a0242118fcf3d13c29031b1d54711abb1fc5a;hp=2d61506b6882bbfdb81b170fb1de9779110dc8d1;hpb=a8fc8d6b82dd68230c443157dea73879f0b95bd4;p=pintos-anon

diff --git a/TODO b/TODO
index 2d61506..15902a2 100644
--- 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