From 069da89ef8074e989ca260eb09b2c71592165624 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Mon, 25 Nov 2024 21:55:23 +0100
Subject: [PATCH] update CHANGES

---
 CHANGES.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGES.md b/CHANGES.md
index c6559c772..6cf9ea168 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -13,6 +13,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 
 - Induction tactic.
 
+### Changed
+
+- The export option `--requiring` does not require as argument a file with extension `.v` anymore: the argument must be a module name.
+
 ## 2.5.1 (2024-07-22)
 
 ### Added