From b945cdeeb7324a6181cb42535313d477da5e491d Mon Sep 17 00:00:00 2001
From: Johannes Link <business@johanneslink.net>
Date: Fri, 20 Oct 2023 10:47:47 +0200
Subject: [PATCH] Updated TODO

---
 TODO.md | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/TODO.md b/TODO.md
index fe7a4c1a2..7064045e1 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,8 +1,5 @@
 # 1.8.1
 
-    - Fix bug https://github.com/jqwik-team/jqwik/issues/519: 
-      Probably some parameterized type resolution problem.
-
 # 1.8.x
 
     - Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523