Update changelog

MiniZinc · Feb 25, 2016 · 2cf6559 · 2cf6559
1 parent 84ac547
commit 2cf6559
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -16,10 +16,13 @@ Changes:
    array access out of bounds), and it is used in a constraint expression,
    this now results in a warning instead of an
    error. Warnings can be turned off using the ::maybe_partial annotation.
-
+   Fixes #43 and #74.
 
 Bug fixes:
 
+ - Fix a bug in the optimisation phase related to unification of aliased
+   variables.
+ - Fix short-circuit evaluation of Boolean expressions.
  - Fix a bug in the optimisation phase related to repeated simplification of
    some Boolean expressions.
  - Handle errors in output produced by solver without solns2out crashing.