From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 12 Apr 2005 05:26:35 +0000 (+0000)
Subject: Revise.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0ea1e24233177e444bdfa08d0c8eaa4a5eec6d79;p=pintos-anon

Revise.
---

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.