X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=e037e2bf2decea596776dc218aecac4f071dee11;hb=383b2e8052badc1865f19e881afb8b5cdb63ff2e;hp=494cd72180988412b5e1a4a56f2b3a32e8a9d72a;hpb=15aa248a41556196803c75cb4f56ddad05f5d64e;p=pintos-anon

diff --git a/TODO b/TODO
index 494cd72..e037e2b 100644
--- a/TODO
+++ b/TODO
@@ -106,8 +106,6 @@
 
 * Code:
 
-  - Make printf() test actually check its results.
-
   - Make threads test use a program and arguments like the other
     projects.
 
@@ -121,3 +119,6 @@
     documentation.
 
   - Need to check the wait system call more thoroughly.
+
+  - Library is not precisely standard, e.g. ptrdiff_t should not be
+    defined by stdlib.h.