Further explanation in CHANGELOG

ethereum · Nov 9, 2023 · 62cc356 · 62cc356
1 parent dacfc72
commit 62cc356
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,7 +7,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Added
 - New solc-specific simplification rules that should make the final Props a lot more readable
-- Better BufLength and Max simplifications of Expr, and further solc-specific simplifications of Expr
+- Prop is now correctly ordered, better BufLength and Max simplifications of Expr,
+  and further solc-specific simplifications of Expr
 
 ## [0.52.0] - 2023-10-26