update CHANGES.md

ocaml-gospel · Jun 5, 2022 · c015925 · c015925
1 parent f32f124
commit c015925
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -21,6 +21,8 @@
 
 ## Improved
 
+-  Pattern-matching redundancy is now a warning instead of an error.
+  [\#222](https://github.com/ocaml-gospel/gospel/pull/222)
 - Allow unit result in function header
   [\#215](https://github.com/ocaml-gospel/gospel/pull/215)
 - Highlight source locations when reporting errors.