Add CHANGELOG entry

informalsystems · Oct 3, 2023 · 8e1cc3c · 8e1cc3c
1 parent 5e040a4
commit 8e1cc3c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -12,6 +12,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Deprecated
 ### Removed
 ### Fixed
+
+- Fixed internal bugs in the effect checker that could cause an incorrect effect
+  to be inferred or error to be reported (#1203)
+
 ### Security
 
 ## v0.14.4 -- 2023-10-02