From 35c34b1f08d0b76e6bafdf2a7112a69187160940 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 22 Sep 2004 00:26:29 +0000 Subject: [PATCH] Update. --- src/TODO | 4 ---- 1 file changed, 4 deletions(-) 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. -- 2.30.2