1 files changed, 1 insertions, 1 deletions
diff --git a/TODO b/TODO
index 69b9730..ff1687a 100644
--- a/TODO
+++ b/TODO
@@ -4,6 +4,6 @@
   Give errors if:
   - The type is already defined.
   - Base type is not defined.
-  - Circular type reference.
+  - Replace equivalent type with its base type.
 
 - Check definitions inside procedures.