diff options
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index cfd23ad0..a0df396d 100644 --- a/Changelog.md +++ b/Changelog.md @@ -4,7 +4,8 @@ Features: * SMTChecker: Integration with CVC4 SMT solver Bugfixes: - + * Type Checker: Do not complain about new-style constructor and fallback function to have the same name. + * Type Checker: Detect multiple constructor declarations in the new syntax and old syntax. ### 0.4.22 (2018-04-16) |