From bdae7f3cd7a999edf71f724c8b4612a129ee669e Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Mon, 9 Sep 2024 11:11:20 -0400
Subject: [PATCH] Document changes in the CHANGELOG. Refs #63.

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

diff --git a/copilot-verifier/CHANGELOG b/copilot-verifier/CHANGELOG
index 05e8c7e..0e51eae 100644
--- a/copilot-verifier/CHANGELOG
+++ b/copilot-verifier/CHANGELOG
@@ -1,3 +1,6 @@
+2024-09-09
+        * Support verifying programs that use array updates. (#63)
+
 2024-08-03
         * Support building with `crucible-llvm-0.7` and `crux-llvm-0.9`. (#64)
         * Support GHC 9.4 through 9.8. (#65)