Added todo for clean byte compile

1 files changed, 2 insertions, 0 deletions

diff --git a/todo b/todo
index bedf88dc..8dc8b60e 100644
--- a/todo
+++ b/todo
@@ -14,6 +14,8 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
+A* Fixup for clean byte compile now that proof.el has been split.
+
 A* Fixup multiple files -- needs debugging.
 
    1. mark atomic makes some assumption about non-comment commands in