Update Changelog

This feature replaces and removes the `--include` optional argument
n-osborne · Mar 28, 2024 · c219de1 · c219de1
1 parent 931050f
commit c219de1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,5 +1,7 @@
 # Unreleased
 
+- Move to a module-based configuration
+  [\#213](https://github.com/ocaml-gospel/ortac/pull/213)
 - Improve test-failure message
   [\#202](https://github.com/ocaml-gospel/ortac/pull/202) and
   [\#204](https://github.com/ocaml-gospel/ortac/pull/204) and
@@ -8,8 +10,6 @@
   [\#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
   [\#179](https://github.com/ocaml-gospel/ortac/pull/179)
 - Check for out of scope variables