Document changes in the CHANGELOG. Refs #72.

RyanGlScott · RyanGlScott · commit 073ae58903ab · 2024-11-08T09:41:28.000-05:00
diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2024-11-08
+        * Version bump (4.1). (#72)
+
 2024-09-09
         * Version bump (4.0). (#69)
         * Support verifying programs that use array updates. (#63)
