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

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at 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;