update CHANGES

Deducteam · Nov 25, 2024 · 069da89 · 069da89
1 parent 31aef37
commit 069da89
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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