diff --git a/plans/sx-improvements.md b/plans/sx-improvements.md
index 8cc20f60..3de774aa 100644
--- a/plans/sx-improvements.md
+++ b/plans/sx-improvements.md
@@ -189,7 +189,7 @@ these when operands are known numbers/lists.
 | 2 — letrec+resume | [x] | e80e655b |
 | 3 — tokenizer :end/:line | [x] | 023bc2d8 |
 | 4 — parser spans complete | [x] | b7ad5152 (subsumed by 023bc2d8) |
-| 5 — OCaml AdtValue + define-type + match | [x] | (pending) |
+| 5 — OCaml AdtValue + define-type + match | [x] | 1f49242a |
 | 6 — JS AdtValue + define-type + match | [ ] | — |
 | 7 — nested patterns | [ ] | — |
 | 8 — exhaustiveness warnings | [ ] | — |