1 files changed, 1 insertions, 3 deletions

diff --git a/TODO b/TODO
index 775114d..9862022 100644
--- a/TODO
+++ b/TODO
@@ -1,3 +1 @@
-# Name analysis
-
-- Ensure type, procedure, variable and parameter names are unique.
+# Type analysis