Fix Info file name.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index b90b2d8bcdcbf9ac53f2366d9e591cfa2f84bee3..27c6254779543e2171a417168aab385931394e0b 100644 (file)
--- a/TODO
+++ b/TODO
@@ -12,8 +12,6 @@
 * Some confusion--do we really get overlapping ro/rw segment in normal
   link?  Student example seemed to show that we don't.
 
-* Add qsort(), bsearch() implementations to kernel.
-
 * Finish writing the tour.
 
 * Come up with a way for us to release some of the tests.