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

Fabio Bossi bossi at cs.unipr.it
Tue Sep 8 09:24:02 CEST 2009


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

Author: Fabio Bossi <bossi at 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;
 




More information about the PPL-devel mailing list