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

[Roberto Amadini]

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

Author: Roberto Amadini <r.amadini at virgilio.it>
Date:   Mon Feb 22 22:21:24 2010 +0100

Removed whitespaces.

---

 src/Variable_Floating_Point_Expression.inlines.hh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/src/Variable_Floating_Point_Expression.inlines.hh b/src/Variable_Floating_Point_Expression.inlines.hh
index a9ddd2f..48843d0 100644
--- a/src/Variable_Floating_Point_Expression.inlines.hh
+++ b/src/Variable_Floating_Point_Expression.inlines.hh
@@ -73,7 +73,7 @@ Variable_Floating_Point_Expression<FP_Interval_Type, FP_Format>
                                                        i != lf_store.end();) {
     typename FP_Linear_Form_Abstract_Store::iterator j = i++;
 
-    if ( (j->second).coefficient(Variable(variable_index)) != 0 ) {
+    if ((j->second).coefficient(Variable(variable_index)) != 0) {
       lf_store.erase(j);
     }
   }