From 8d537c040741d44f3f89189e0f38f9ba7e32afba Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Tue, 21 May 2024 15:00:38 +0200 Subject: [PATCH] Update Changelog --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index ac35d929..93616be2 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ # 0.3.0 +- Read also `.gospel` files + [\#196](https://github.com/ocaml-gospel/ortac/pull/196) - Fix field access translation [\#229](https://github.com/ocaml-gospel/ortac/pull/229) - Add support for functional type in model