[PPL-devel] [GIT] ppl/ppl(master): Updated.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 5c7a1d8b8f5bf71ff74d6df5ae13053aba91b28e
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c7a1d8b8f5bf71ff74d6df5ae13053aba91b28e

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Thu Apr  4 15:10:57 2013 +0200

Updated.

---

 NEWS |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/NEWS b/NEWS
index 954c7e8..5eda9f7 100644
--- a/NEWS
+++ b/NEWS
@@ -45,6 +45,9 @@ o  In the Java interface, fixed declaration of methods
      void drop_some_non_integer_points(...);
    so as to accept a Complexity_Class enum value.
 
+o  Fixed an issue in method MIP_Problem::OK() whereby the method
+   was trying to enforce a non-invariant condition.
+
 
 --------------------------------------------------------------------------
 NEWS for version 1.0  (released on June 28, 2012)