changelog entry

This commit is contained in:
Martin Blicha 2021-03-03 15:26:36 +01:00
parent 9e81c81560
commit c5a4581fa0

View File

@ -7,7 +7,7 @@ Compiler Features:
Bugfixes:
* SMTChecker: Fix internal error on pushing to ``string`` casted to ``bytes``.
AST Changes: