X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=151b6763f94f7a470b35b5442ecfbb6cdc0c2ca2;hb=05a5604be6df472e30d2495d3187259da2e380b8;hp=e41757974b8f96bc174492772744a32ae092bf4e;hpb=34f8f73bbfa741616caa8bbd34a32150a7bfaa67;p=pintos-anon

diff --git a/TODO b/TODO
index e417579..151b676 100644
--- a/TODO
+++ b/TODO
@@ -115,6 +115,3 @@
     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.