Add CHANGELOG entry

informalsystems · Oct 4, 2024 · add4350 · add4350
1 parent f5ad90a
commit add4350
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -11,6 +11,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - `quint verify` has the option `--apalache-version` to pull a custom version (#1521)
 - Grammar updated with support for an optional leading hashbang (`#!`) line (#1522)
+- Added a new operator called `getOnlyElement()` to extract elements out of singleton sets (#1525)
 
 ### Changed
 ### Deprecated