Update Changelog

This feature replaces and removes the `--include` optional argument
n-osborne · Apr 17, 2024 · 4ef4a96 · 4ef4a96
1 parent 996d4e4
commit 4ef4a96
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,8 @@
+# 0.3.0
+
+- Move to a module-based configuration
+  [\#214](https://github.com/ocaml-gospel/ortac/pull/214)
+
 # 0.2.0
 
 - Make `--help` and `--version` work even without any plugins installed
@@ -10,8 +15,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