From 4e195ff3e8d3f5f8abba16e81a87c1d6c84a19d2 Mon Sep 17 00:00:00 2001
From: Guido Tack <guido.tack@monash.edu>
Date: Sat, 26 Mar 2016 13:58:55 +1100
Subject: [PATCH] Change log

---
 CHANGES.txt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES.txt b/CHANGES.txt
index 4a7c56a19..db316c713 100644
--- a/CHANGES.txt
+++ b/CHANGES.txt
@@ -16,8 +16,13 @@ Bug fixes:
  - The output model sometimes did not include all required definitions,
    in particular when array declarations used identifiers to specify the
    dimensions.
+ - The generated FlatZinc sometimes still contained bool variables that were
+   not connected to the rest of the model, which could produce incorrect
+   solutions being printed.
  - Fix a bug where warnings (e.g. about partial functions) could lead to
    crashes.
+ - Fix the bounds computation for integer and float variables, which could
+   produce incorrect bounds for linear expressions. Fixes #94.
 
 Version 2.0.12
 ==============