Remove a dead item.

diff --git a/TODO b/TODO
index 27d2c0844d3472696fae6e3bc6a8a8b9c81b25c4..434053356856d2c91172cf5695b273c7f16c0e89 100644 (file)
--- a/TODO
+++ b/TODO
@@ -118,16 +118,6 @@ Paul suggests:
    #define BAR 257
    ...
 
-> I'm in favor of
->
-> %token FOO 256
-> %token BAR 257
->
-> and Bison moves error into 258.
-
-Yes, I think that's a valid extension too, if the user doesn't define
-the token number for error.
-
 * Output directory
 Akim: