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

ivanperez-keera · ivanperez-keera · commit 9a75038c2f0f · 2024-01-07T23:52:12.000-08:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2024-01-07
+        * Adjust to work with GHC 9.6. (#491)
+
 2024-01-07
         * Version bump (3.18). (#487)
         * Introduce testing infrastructure for Copilot.Theorem.What4. (#474)
