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

ivanperez-keera · ivanperez-keera · commit f7fc2de59020 · 2024-09-06T06:38:13.000-07:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,5 +1,6 @@
-2024-08-30
+2024-09-03
         * Add support for struct updates in Copilot.Theorem.What4. (#524)
+        * Add support for array updates in Copilot.Theorem.What4. (#36)
 
 2024-07-07
         * Version bump (3.20). (#522)
