[PPL-devel] [GIT] ppl/ppl(master): Removed two FIXME(0.10.1) s which have been checked and

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Mar 31 11:13:57 2009 +0100

Removed two FIXME(0.10.1)s which have been checked and
for which nothing needs to be done.

---

 src/Pointset_Powerset.templates.hh |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/src/Pointset_Powerset.templates.hh b/src/Pointset_Powerset.templates.hh
index e87a16d..effdd6f 100644
--- a/src/Pointset_Powerset.templates.hh
+++ b/src/Pointset_Powerset.templates.hh
@@ -1199,8 +1199,6 @@ Pointset_Powerset<PS>::pairwise_reduce() {
 	const PS& pj = sj->element();
 	if (pi.upper_bound_assign_if_exact(pj)) {
 	  marked[si_index] = marked[sj_index] = true;
-	  // FIXME(0.10.1): check whether the preservation of reduction was
-	  // actually meant here.
 	  new_x.add_non_bottom_disjunct_preserve_reduction(pi);
 	  ++deleted;
 	  goto next;
@@ -1255,8 +1253,6 @@ BGP99_heuristics_assign(const Pointset_Powerset& y, Widening wf) {
       if (pi.contains(pj)) {
 	PS pi_copy = pi;
 	wf(pi_copy, pj);
-	// FIXME(0.10.1): check whether the preservation of reduction was
-	// actually meant here.
 	new_x.add_non_bottom_disjunct_preserve_reduction(pi_copy);
 	marked[i_index] = true;
       }