diff --git a/CHANGES.md b/CHANGES.md
index b6e61f97..2ec2114b 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)
 - Add support for functional type in model
   [\#230](https://github.com/ocaml-gospel/ortac/pull/230)
 - Remove bug in qcheck-stm plugin when returning integers