[PPL-devel] [GIT] ppl/ppl(floating_point): Removed outdated FIXME note.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at cs.unipr.it>
Date:   Fri Sep 11 17:05:06 2009 +0200

Removed outdated FIXME note.

---

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

diff --git a/src/Octagonal_Shape.templates.hh b/src/Octagonal_Shape.templates.hh
index a36f67c..fa61f15 100644
--- a/src/Octagonal_Shape.templates.hh
+++ b/src/Octagonal_Shape.templates.hh
@@ -4798,7 +4798,6 @@ Octagonal_Shape<T>::affine_image(Variable var,
               add_assign_r(m_i_cv, m_i_cv, b_mlb, ROUND_UP);
             }
             // Now update unary constraints on var.
-            // FIXME: are we sure that ROUND_IGNORE is good?
             mul_2exp_assign_r(b_ub, b_ub, 1, ROUND_IGNORE);
             N& m_cv_v = m_cv[n_var];
             add_assign_r(m_cv_v, m_cv_v, b_ub, ROUND_UP);