1 files changed, 0 insertions, 1 deletions
diff --git a/TODO b/TODO
index b88eefb..775114d 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,3 @@
 # Name analysis
 
 - Ensure type, procedure, variable and parameter names are unique.
-- Check symbols used in procedures are defined.