Add fix related to choice rules to change log

This adds the fix concerning the incorrect translation generated for
choice rules with multiple elements to the change log.
This commit is contained in:
Patrick Lühne 2018-05-04 15:17:35 +02:00
parent e85807accb
commit fa3ed31eca
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -9,6 +9,10 @@
* new simplification rule applying to integer variables * new simplification rule applying to integer variables
* support for declaring functions integer with the `#external` directive * support for declaring functions integer with the `#external` directive
### Bug Fixes
* fixes incorrect translation of unsupported choice rules with multiple elements by returning an error instead
## 0.1.8 (2018-04-20) ## 0.1.8 (2018-04-20)
### Features ### Features