[PPL-devel] [GIT] ppl/ppl(master): Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Sun Mar 22 11:27:36 2009 +0100

Mention the bug fixed with Commit: 6a6734db48e2ca605dfc27ce5f1a923eb867ed25

---

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

diff --git a/NEWS b/NEWS
index 01aeca5..416de2d 100644
--- a/NEWS
+++ b/NEWS
@@ -78,6 +78,10 @@ o  Fixed a bug in the Grid class that affected the methods
 o  Fixed a bug whereby big-endian architectures were not properly
    recognized by the configuration script.
 
+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.
+
 
 --------------------------------------------------------------------------
 NEWS for version 0.10  (released on November 4, 2008)