copilot-theorem: Document changes in CHANGELOG. Refs Copilot-Language#495.

RyanGlScott · RyanGlScott · commit 8cfd52bbc08d · 2024-04-24T13:10:55.000-04:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-04-24
+        * Fix handling of unsatisfiable properties with Kind2-0.7.2. (#495)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
