diff --git a/Changelog.md b/Changelog.md index 3b97bda71..0a392d173 100644 --- a/Changelog.md +++ b/Changelog.md @@ -5,6 +5,7 @@ Language Features: Compiler Features: * Immutable variables can be read at construction time once they are initialized. + * SMTChecker: Support low level ``call`` as external calls to unknown code. Bugfixes: