Update Changelog

ocaml-gospel · Mar 12, 2024 · 15bfd2c · 15bfd2c
1 parent 34796ca
commit 15bfd2c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -2,6 +2,8 @@
 
 - Add a comment warning that the file is generated
   [\#198](https://github.com/ocaml-gospel/ortac/pull/198)
+- Add support for type invariants
+  [\#197](https://github.com/ocaml-gospel/ortac/pull/197)
 - Add an include option to qcheck-stm cli
   [\#181](https://github.com/ocaml-gospel/ortac/pull/181)
 - Add a quiet flag