From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 22 Sep 2004 00:26:29 +0000 (+0000)
Subject: Update.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4b6ccd758646b7101a5251ca2f18f3b262b3d30d;p=pintos-anon

Update.
---

diff --git a/src/TODO b/src/TODO
index f44e1f1..1734938 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,7 +1,3 @@
-* Get rid of names for synch primitives?  They increase the size of
-  each one by 16 bytes and are probably not that useful.
-  Alternatively make the names pointers?
-
 * Write, test VM.
 
 * Test list, hash ADTs.