diff options
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md index 27f88cd2..216b5cf4 100644 --- a/Changelog.md +++ b/Changelog.md @@ -40,6 +40,7 @@ Bugfixes: * JSON AST: nodes were added at wrong parent * Why3 translator: crash fix for exponentiation + * Commandline Interface: linking libraries with underscores in their name. * Type Checker: Fallback function cannot return data anymore. * Code Generator: Fix crash when sha3() was used on unsupported types. |