1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index 3236da46..4813ed75 100644
--- a/TODO
+++ b/TODO
@@ -10,7 +10,6 @@ Several features are not available in all the backends.
 ** consistency
 nonterminal vs non terminal vs non-terminal
 token vs terminal
-redeclaration vs redefinition
 
 ** yacc.c
 Now that ylwrap is fixed, we should include foo.tab.h from foo.tab.c rather