diff --git a/CHANGES.md b/CHANGES.md index a50f3f02..30d6d480 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ # 0.3.0 +- Add support for functional type in model + [\#230](https://github.com/ocaml-gospel/ortac/pull/230) - Add support for testing functions with tuple arguments/return values [\#237](https://github.com/ocaml-gospel/ortac/pull/237) - Add support for testing functions without a sut argument