Disabled font-lock in process buffer

1 files changed, 0 insertions, 4 deletions

diff --git a/todo b/todo
index 6ced93e4..b346b287 100644
--- a/todo
+++ b/todo
@@ -14,10 +14,6 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A Bug in proof-shell-handle-output run on FSF Emacs, gives error
-  (wrong-type-argument markerp nil) when font-lock-fontify-region
-  is called to fontify the shell buffer.
-
 B proof-issue-goal should refuse to work when a proof is in progress.
   Similarly proof-issue-save should refuse to work when a proof
   hasn't been completed!