Document changes in the CHANGELOG. Refs #57.

Copilot-Language · Sep 9, 2024 · a2eb903 · a2eb903
1 parent 1d0ab9c
commit a2eb903
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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)