Update Changelog

n-osborne · Jun 26, 2024 · e15ba62 · e15ba62
1 parent bfa9278
commit e15ba62
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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