From c219de1dc227ea9738320a3ccf8d76433db3ec49 Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Thu, 28 Mar 2024 18:06:03 +0100 Subject: [PATCH] Update Changelog This feature replaces and removes the `--include` optional argument --- CHANGES.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 26092b04..422f26a4 100644 --- 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