diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
index 0e51eae..2b1b699 100644
--- a/copilot-verifier/CHANGELOG
+++ b/copilot-verifier/CHANGELOG
@@ -1,5 +1,6 @@
 2024-09-09
         * Support verifying programs that use array updates. (#63)
+        * Support verifying programs that use struct updates. (#57)
 
 2024-08-03
         * Support building with `crucible-llvm-0.7` and `crux-llvm-0.9`. (#64)