From fb6ebd5fad2f0106a4834eebebcfc4c04868f854 Mon Sep 17 00:00:00 2001
From: Ryan Scott <rscott@galois.com>
Date: Fri, 12 Jul 2024 09:48:14 -0400
Subject: [PATCH] Fix minor typo in changelog

---
 CHANGES.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES.md b/CHANGES.md
index 362c03c..f479cd6 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -13,7 +13,7 @@ Version 1.18 [????.??.??]
 
   ```diff
   -dsMatches :: DsMonad q => Name         -> [Match] -> q [DMatch]
-  -dsMatches :: DsMonad q => MatchContext -> [Match] -> q [DMatch]
+  +dsMatches :: DsMonad q => MatchContext -> [Match] -> q [DMatch]
   ```
 
   In particular: