From 9aeb63db784787b4e98cf1ebc328284e9cb809b9 Mon Sep 17 00:00:00 2001
From: Nicolas Osborne <nicolas.osborne@tarides.com>
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 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