Update CHANGELOG.md

informalsystems · Jan 13, 2023 · b4892e0 · b4892e0
1 parent 10b4bfa
commit b4892e0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -13,6 +13,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - REPL reporting a runtime error on `0^0` (#492)
 - Improved how documentation is produced for VSCode compatibility (#485)
 - Enable access to builtin documentation parsed from `builtin.qnt` (#485)
+- The effect and mode checkers no longer complain about runs (#505)
 
 ### Added