X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=TODO;h=0071c4b03847380dc21687a8a2408e44b0474d18;hb=def7e6026513a3ee7c2b38416b30a2e890e34311;hp=7fb66b1deaf50320332571822d0da7b4a045bc65;hpb=c87013b64d1731dac5da8f738ae8d1b4c1030a90;p=pspp-builds.git

diff --git a/TODO b/TODO
index 7fb66b1d..0071c4b0 100644
--- a/TODO
+++ b/TODO
@@ -16,8 +16,6 @@ In debug mode hash table code should verify that collisions are reasonably low.
 
 Use posix_fadvise(POSIX_FADV_SEQUENTIAL) where available.
 
-random.c should not know about set_seed.
-
 Use AFM files instead of Groff font files, and include AFMs for our default
 fonts with the distribution.