Module: ppl/ppl Branch: floating_point Commit: 688061869b0f3c16ba299fd49ccaab8fa6039c15 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=688061869b0f3...
Author: Fabio Bossi bossi@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);