Document changes in the CHANGELOG. Refs #69.

Copilot-Language · Sep 9, 2024 · e366e4b · e366e4b
1 parent ef38dec
commit e366e4b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,4 +1,5 @@
 2024-09-09
+        * Version bump (4.0). (#69)
         * Support verifying programs that use array updates. (#63)
         * Support verifying programs that use struct updates. (#57)