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

RyanGlScott · RyanGlScott · commit b153fbc2231a · 2024-05-05T17:37:23.000-04:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-05-05
+        * Fix handling of unsatisfiable properties with Kind2. (#495)
+
 2024-03-07
         * Version bump (3.19). (#504)
 
