From b8e4441d187eb3517041e9853bccbd6142e0da34 Mon Sep 17 00:00:00 2001
From: Ivan Perez <ivan.perezdominguez@nasa.gov>
Date: Sat, 25 Jan 2025 17:15:51 +0000
Subject: [PATCH] copilot-theorem: Document changes in CHANGELOG. Refs #560.

---
 copilot-theorem/CHANGELOG | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/copilot-theorem/CHANGELOG b/copilot-theorem/CHANGELOG
index cf46bf03..a130e671 100644
--- a/copilot-theorem/CHANGELOG
+++ b/copilot-theorem/CHANGELOG
@@ -1,3 +1,6 @@
+2025-01-25
+        * Fix multiple typos in README. (#560)
+
 2025-01-07
         * Version bump (4.2). (#577)
         * Remove uses of Copilot.Core.Expr.UExpr.uExprType,uExprExpr. (#565)