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

Author: Fabio Bossi bossi@cs.unipr.it Date: Tue Sep 8 09:27:12 2009 +0200

Deleted FIXME note.

---

.../floatingpointexpr1.cc | 1 - 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/tests/Floating_Point_Expression/floatingpointexpr1.cc b/tests/Floating_Point_Expression/floatingpointexpr1.cc index d4c8fce..a5014b0 100644 --- a/tests/Floating_Point_Expression/floatingpointexpr1.cc +++ b/tests/Floating_Point_Expression/floatingpointexpr1.cc @@ -65,7 +65,6 @@ typedef Constant_Floating_Point_Expression<db_r_oc, IEEE754_Single>::FP_Interval typedef Floating_Point_Expression<fl_r_oc, IEEE754_Single>::FP_Linear_Form_Abstract_Store lsstr; typedef Constant_Floating_Point_Expression<db_r_oc, IEEE754_Single>::FP_Linear_Form_Abstract_Store ldstr;

-//FIXME: Why the analyzed format can't be IEEE754_Double? typedef Floating_Point_Expression<fl_r_oc, IEEE754_Double>::FP_Interval_Abstract_Store sdtr; typedef Constant_Floating_Point_Expression<db_r_oc, IEEE754_Double>::FP_Interval_Abstract_Store ddtr;