YYFAIL: remove.

[bison.git] / TODO

diff --git a/TODO b/TODO
index 5b333e2edc560962e70a5d52d3e23fa10f42dda1..dfd6cfe3aaed6b173ff29f119b3f18ff3b6c21aa 100644 (file)
--- a/TODO
+++ b/TODO
@@ -77,9 +77,6 @@ so both 256 and 257 are "mysterious".
   "\"end of command\"", "error", "$undefined", "\"=\"", "\"break\"",
 
 
-** YYFAIL
-It is seems to be *really* obsolete now, shall we remove it?
-
 ** yychar == yyempty_
 The code in yyerrlab reads: