1 files changed, 2 insertions, 1 deletions
diff --git a/todo b/todo
index 9a1c5b96..6f7b165f 100644
--- a/todo
+++ b/todo
@@ -15,8 +15,9 @@ X (Low)    probably not worth wasting time on
 ====================================================================
 
 C  Remove "FIXME notes" which are just notes I've put in about old
-   code in case something breaks   (da, 30mins). 
+   code in case something breaks   (da, 30mins).
 
+C  Check on all FIXME notes.
 
 A* Fix bugs in proof-shell-filter. Don't assume that full match is
    contained in filter chunk.(Should match strings in buffer instead)