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

fdedden · ivanperez-keera · commit 4cf2dce291b7 · 2024-07-06T17:15:39.000-07:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-07-06
+        * What4 upper-bound dependency version bump. (#514)
+
 2024-05-07
         * Version bump (3.19.1). (#512)
         * Fix handling of unsatisfiable properties with Kind2. (#495)
