From 83051eb4e622caa8a17275d03e8c7882a11ad817 Mon Sep 17 00:00:00 2001 From: Nicolas Osborne Date: Fri, 17 May 2024 17:27:22 +0200 Subject: [PATCH] Update Changelog --- CHANGES.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/CHANGES.md b/CHANGES.md index a50f3f02..fa1bd88a 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,5 +1,7 @@ # 0.3.0 +- Fix field access translation + [\#229](https://github.com/ocaml-gospel/ortac/pull/229) - 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