Update Changelog

n-osborne · Feb 23, 2024 · a182c0f · a182c0f
1 parent 3fda694
commit a182c0f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,7 +1,8 @@
 # Unreleased
 
 - Improve test-failure message
-  [\#202](https://github.com/ocaml-gospel/ortac/pull/202)
+  [\#202](https://github.com/ocaml-gospel/ortac/pull/202) and
+  [\#204](https://github.com/ocaml-gospel/ortac/pull/204)
 - Add support for type invariants
   [\#197](https://github.com/ocaml-gospel/ortac/pull/197)
 - Add an include option to qcheck-stm cli