Add change log entry

MiniZinc · Oct 5, 2015 · c61e72d · c61e72d
1 parent e543fde
commit c61e72d
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/CHANGES.txt b/CHANGES.txt
@@ -53,6 +53,9 @@ Bug fixes:
  - Use is_fixed in cumulative definition.
  - Fix bug where a par right hand side of a variable mentioned in the output
    would cause a crash.
+ - Fix variable dependency tracking during rewriting in the optimisation phase.
+   Could previously lead to variables being removed that are still required.
+   Fixes #54.
 
 Version 2.0.6
 =============