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

ivanperez-keera · ivanperez-keera · commit b0d5e2bc652f · 2025-09-07T03:31:10.000-07:00
diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2025-09-07
+        * Remove unused function Copilot.Theorem.Misc.SExpr.parseSExpr. (#661)
+
 2025-07-07
         * Version bump (4.5). (#642)
         * Removed unused pragmas. (#613)
