Changelog

clementblaudeau · clementblaudeau · commit 7ed75a16e0f0 · 2025-10-08T12:32:15.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -16,6 +16,7 @@ Change to cargo-hax:
 Changes to hax-lib:
 
 Changes to the Lean backend:
+ - Add support for base-expressions of structs (#1736)
 
 Miscellaneous:
 
