From a1863147f866718c19c8fdefeeb033efab766885 Mon Sep 17 00:00:00 2001
From: Eugen Wissner <belka@caraus.de>
Date: Mon, 5 Aug 2024 22:56:35 +0200
Subject: Don't allow identifier duplicates

---
 TODO | 1 -
 1 file changed, 1 deletion(-)

(limited to 'TODO')

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.
-- 
cgit v1.2.3