[PPL-devel] [GIT] ppl/ppl(master): Mention the bug corrected for method Octagonal_Shape <T>::affine_image().

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Tue Mar 24 16:42:03 2009 +0100

Mention the bug corrected for method Octagonal_Shape<T>::affine_image().

---

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

diff --git a/NEWS b/NEWS
index 416de2d..1833ebd 100644
--- a/NEWS
+++ b/NEWS
@@ -82,6 +82,9 @@ o  Fixed a bug in the Java/OCaml/Prolog interfaces, whereby
    the method/function/predicate for dropping a disjunct from a
    Pointset_Powerset object were returning an invalid iterator.
 
+o  Fixed a bug in method Octagonal_Shape<T>::affine_image(var, expr)
+   whereby a wrong result was computed under specific conditions.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.10  (released on November 4, 2008)