diff --git a/MiniZincIDE/CHANGES b/MiniZincIDE/CHANGES index a7fdf02..c10d86d 100644 --- a/MiniZincIDE/CHANGES +++ b/MiniZincIDE/CHANGES @@ -1,3 +1,8 @@ +2017-05-17 + v2.1.5 + - Update to MiniZinc 2.1.5. + - Fix an issue where solver output may not get printed if it occurs too + quickly after the solver has started. 2017-03-16 v2.1.4 - Update to MiniZinc 2.1.4. diff --git a/MiniZincIDE/MiniZincIDE.pro b/MiniZincIDE/MiniZincIDE.pro index dfc7284..b9250ec 100644 --- a/MiniZincIDE/MiniZincIDE.pro +++ b/MiniZincIDE/MiniZincIDE.pro @@ -19,7 +19,7 @@ greaterThan(QT_MAJOR_VERSION, 4): { TARGET = MiniZincIDE TEMPLATE = app -VERSION = 2.1.4 +VERSION = 2.1.5 DEFINES += MINIZINC_IDE_VERSION=\\\"$$VERSION\\\" bundled {