Add CHANGELOG entry for fixed bug

informalsystems · Oct 18, 2023 · cd4aae1 · cd4aae1
1 parent 40c3791
commit cd4aae1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -22,6 +22,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
   to be inferred or error to be reported (#1203)
 - Fixed propagation of `checker.tuning` Apalache config file key for `quint
   verify` (#1216)
+- Fixed a problem where some errors were not being reported in the REPL (#1223)
 
 ### Security