1 files changed, 1 insertions, 1 deletions
diff --git a/todo b/todo
index 4d1a73b1..590c1c73 100644
--- a/todo
+++ b/todo
@@ -18,7 +18,7 @@ This is a list of things which need doing to the lego mode.
   require some work.
 
 * Indentation - LEGO should indent only with brackets; Coq for Inductive
-  definitions and 'case' constructs also.
+  definitions and 'case' constructs also. LEGO NOW DONE.
 
 * file handling could be more robust