diff --git a/CHECKPOINTS.md b/CHECKPOINTS.md
index d3c3745..05f346d 100644
--- a/CHECKPOINTS.md
+++ b/CHECKPOINTS.md
@@ -24,7 +24,7 @@
 | Syntax | ✅ | ❌ |
 | Alligator | ❌ | ❌ |
 | Zephyr | ❌ | ❌ |
-| ADT | ✅ | ❌ |
+| ADT | ✅ | ✅ |
 | Bugdroid | ✅ | ❌ |
 | Infinity | ✅ | ❌ |
 | Infinima | ✅ | ❌ |