[PPL-devel] [GIT] ppl/ppl(devel): Mention fixed bug.

[Enea Zaffanella]

Module: ppl/ppl
Branch: devel
Commit: 673343a9e22e99f6ecb9e1bdb2c733369047d9fc
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=673343a9e22e99f6ecb9e1bdb2c733369047d9fc

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Thu Nov 19 12:44:41 2015 +0100

Mention fixed bug.

---

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

diff --git a/NEWS b/NEWS
index ea2858f..e4f862f 100644
--- a/NEWS
+++ b/NEWS
@@ -22,6 +22,13 @@ o  TO BE WRITTEN
 Bugfixes
 ========
 
+o  Fixed a bug in the implementation of methods
+     Pointset_Powerset<PSET>::relation_with(const Constraint&) const;
+   and
+     Pointset_Powerset<PSET>::relation_with(const Congruence&) const;
+   whereby the computed result for relations strictly_intersects()
+   and saturates() could have been wrong.
+
 o  Fixed a bug in the implementation of dense rows.
 
 o  Portability improved.