diff --git a/TODO b/TODO
index 5c455f7b5de6b566c03857c0df821083a8e9c700..4261145d2bee5d537d607ebb24045051ec74604c 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,5 @@
 * Document the recent additions (CHANGES + doc).
   - menhirLib: new functions
-      loop_handle_undo, shifts, acceptable
       find_default_reduction
       pop, top, equal, pop_many, get
       force_reduction
@@ -10,7 +9,6 @@
       current_state_number
     menhirLib: possibly incompatible change of type 'a env
     MenhirLib.Printers: incompatible type change of print_stack
-    deprecated streams, [stack], MenhirLib.General.
     MenhirLib.ErrorReports: new module
   - Send CompCert pull request.