From fa3ed31eca623023db5b8d060d1d006157128e05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 4 May 2018 15:17:35 +0200
Subject: [PATCH] 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.
---
 CHANGELOG.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e831397..65bfc62 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,6 +9,10 @@
 * new simplification rule applying to integer variables
 * 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)
 
 ### Features