[GIT] ppl/ppl(floating_point): Removed useless comments.

Module: ppl/ppl Branch: floating_point Commit: d6956e262f595f39d49a0050843268547b15d78f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d6956e262f595...
Author: Roberto Amadini r.amadini@virgilio.it Date: Tue Sep 8 14:08:04 2009 +0200
Removed useless comments.
---
.../floatingpointexpr1.cc | 3 --- 1 files changed, 0 insertions(+), 3 deletions(-)
diff --git a/tests/Floating_Point_Expression/floatingpointexpr1.cc b/tests/Floating_Point_Expression/floatingpointexpr1.cc index d2ac873..4575fdc 100644 --- a/tests/Floating_Point_Expression/floatingpointexpr1.cc +++ b/tests/Floating_Point_Expression/floatingpointexpr1.cc @@ -239,9 +239,6 @@ test06() { float exp = pow(2, -22); fl_r_oc coeff = fl_r_oc(2 - exp); coeff.join_assign(2 + exp); - //fl_r_oc coeff = fl_r_oc(-exp); - //coeff.join_assign(exp); - //coeff += fl_r_oc(2); Float_Interval_Linear_Form known_result = Float_Interval_Linear_Form(Variable(0)); known_result *= coeff;
participants (1)
-
Roberto Amadini