diff --git a/README.org b/README.org
index ea75677..ea51d10 100644
--- a/README.org
+++ b/README.org
@@ -101,8 +101,7 @@ For the time being, I just disabled the memoisation. This is very, very bad.
 
 ** TODO ~case~ inference                                               :feature:
 
-** DONE ADT support in Rlp/HindleyMilner.hs                            :feature:
-   CLOSED: [2024-03-28 Thu 11:55]
+** TODO ADT support in Rlp/HindleyMilner.hs                            :feature:
 
 ** DONE whole-program inference (wrap top-level in a ~letrec~)         :feature:
    CLOSED: [2024-04-04 Thu 12:42]