1 files changed, 2 insertions, 0 deletions
diff --git a/hol98/todo b/hol98/todo
index 6f8f6f95..d65df204 100644
--- a/hol98/todo
+++ b/hol98/todo
@@ -20,4 +20,6 @@ See also ../todo for generic things to do, priority codes.
 
 ** B Add support for proof by pointing.
 
+** B Output highlighting doesn't seem to work properly.
+