copilot-theorem: Document changes in CHANGELOG. Refs #524.

RyanGlScott · RyanGlScott · commit 1818c721a8fe · 2024-08-30T05:55:11.000-04:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-08-30
+        * Add support for struct updates in Copilot.Theorem.What4. (#524)
+
 2024-07-07
         * Version bump (3.20). (#522)
         * What4 upper-bound dependency version bump. (#514)
