diff --git a/TODO.md b/TODO.md
index 5e57c5a3..26481787 100644
--- a/TODO.md
+++ b/TODO.md
@@ -13,7 +13,6 @@
     * Use ::vl::vint for int in both 32 and 64 configurations.
 * State Machine
 * Issues:
-    * `prop A : A = x {}` doesn't report error (because type A should resolve to the property itself)
     * `func X(x : NotExists) : void;` crashes
     * `bind(let-expression)` generates wrong code