Update CHANGES.md

formalsec · Feb 24, 2025 · 3d65b8a · 3d65b8a
1 parent f93c407
commit 3d65b8a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,9 @@
 ## Unreleased
 
 ### Added
+
+- Add `Expr.Set.hash` as an alias to `Expr.Set.to_int`
+
 ### Fixed
 ### Changed